Miroslav Velev's Professional Activities

Miroslav Velev's Professional Activities

Technical Program Chair

ICCD '19: 37^th IEEE International Conference on Computer Design, Abu Dhabi, U.A.E., November 2019.
Note: We had 272 submissions from 37 countries, and acceptance rate of 23.8% for regular papers, and 8% for short papers.
DASC '17: 36^th IEEE/AIAA Digital Avionics Systems Conference, St. Petersburg, Florida, U.S.A., September 2017.
Note: We had more than 250 participants from 30 countries, with significant participation from major aerospace and defense companies, NASA, and other space agencies. Hurricane Irma had passed through the city of St. Petersburg, FL, just a week before the conference, but luckily there was no major damage and the city was almost fully operational when the conference started.
GLSVLSI '17: 27^th ACM Great Lakes Symposium on VLSI, Banff, Alberta, Canada, May 2017.
Note: We had 197 submissions, and acceptance rate of 24.4% for regular papers.
HLDVT '16: 18^th IEEE International High-Level Design Validation and Test Workshop, Santa Cruz, California, U.S.A., October 2016.
Note: I resurrected HLDVT after a gap of three years (there were no editions in 2013, 2014, and 2015). This took an order of magnitude greater effort than organizing an edition of a conference that has been held annually. This is an important conference, because high level of design, test, and formal verification become more critical with every new generation of computer chips in order to bridge the gap between the increasing number of billions of transistors on a chip and the capabilities of SAT-based testing and formal verification tools.
SRC@ICCAD '14: ACM Student Research Competition (SRC) at ICCAD, San Jose, California, U.S.A., November 3 - 4, 2014. Affiliated with the 33^rd IEEE/ACM International Conference on Computer-Aided Design, San Jose, California, U.S.A., November 3 - 6, 2014.
Note: There were three rounds of SRC@ICCAD’14, where a panel of more than 25 experts from academia and industry evaluated 2-page abstracts and papers submitted by more than 50 students in the first round, selecting 22 students to advance to an in-person poster presentation second round at ICCAD’14, and then selecting 6 students to give in-person presentations with slides in the third round also at the conference. The student who won first place then advanced to the ACM Grand Finals, and won second place.
SRC@ICCAD '13: ACM Student Research Competition (SRC) at ICCAD, San Jose, California, U.S.A., November 18 - 19, 2013. Affiliated with the 32^nd IEEE/ACM International Conference on Computer-Aided Design, San Jose, California, U.S.A., November 18 - 21, 2013.
Note: There were three rounds of SRC@ICCAD’13, where a panel of more than 25 experts from academia and industry evaluated 2-page abstracts and papers submitted by more than 50 students in the first round, selecting 22 students to advance to an in-person poster presentation second round at ICCAD’13, and then selecting 6 students to give in-person presentations with slides in the third round also at the conference. The student who won first place then advanced to the ACM Grand Finals, and won first place.
CFV '13: Eighth International Workshop on Constraints in Formal Verification, San Jose, California, U.S.A., November 21, 2013. A workshop affiliated with the IEEE/ACM International Conference on Computer-Aided Design, San Jose, California, U.S.A., November 18 - 21, 2013.
CFV '11: Seventh International Workshop on Constraints in Formal Verification, San Jose, California, U.S.A., November 10, 2011. A workshop affiliated with the IEEE/ACM International Conference on Computer-Aided Design, San Jose, California, U.S.A., November 6 - 10, 2011.
CFV '09: Sixth International Workshop on Constraints in Formal Verification, Grenoble, France, June 2009. A workshop affiliated with the 21^st International Conference on Computer Aided Verification (CAV 2009), Grenoble, France, June 26 - July 2, 2009.
CFV '08: Fifth International Workshop on Constraints in Formal Verification, Sydney, Australia, August 2008. A workshop affiliated with the 4^th International Joint Conference on Automated Reasoning (IJCAR 2008), Sydney, Australia, August 10 - 15, 2008.
CFV '07: Fourth International Workshop on Constraints in Formal Verification, Bremen, Germany, July 16, 2007. A workshop affiliated with the 21^st International Conference on Automated Deduction (CADE-21), Bremen, Germany, July 17 - 20, 2007.
ARW '06: Automated Reasoning Workshop, University of Bristol, Bristol, U.K., April 3 - 4, 2006. A workshop affiliated with Adaptation in Artificial and Biological Systems, University of Bristol, Bristol, U.K., April 3 - 6, 2006.
CFV '05: Third International Workshop on Constraints in Formal Verification, Tallinn, Estonia, July 23, 2005. A workshop affiliated with the 20^th International Conference on Automated Deduction (CADE-20), Tallinn, Estonia, July 2005.

Conference Track/Discipline Chair

IFoRE '22: First Sigma Xi International Forum on Research Excellence, Alexandria, Virginia, U.S.A., and Virtual, November 3 - 6, 2022. Lead Judge for Student Research in Math and Computer Science.
AVIATION '22: 22^nd AIAA Aviation and Aeronautics Forum and Exposition, Chicago, IL, U.S.A., and Virtual, June 27 - July 1, 2022. Technical Discipline Chair for: Computer Systems.
ISQED '22: 23^rd IEEE International Symposium on Quality Electronic Design, Virtual Event, U.S.A., April 6 - 8, 2022. Co-Chair of Technical Program Committee for Track: Design Test and Verification.
SciTech '22: AIAA SciTech Forum and Exposition, San Diego, California, U.S.A., January 3 - 7, 2022. Technical Discipline Chair for: Computer Systems.
Sigma-Xi '21: Sigma Xi Annual Meeting and Student Research Conference, Virtual Event, November 4 - 7, 2021. Lead Judge for Student Research in Math and Computer Science.
AVIATION '21: 21^st AIAA Aviation and Aeronautics Forum and Exposition, Virtual Event, August 2 - 6, 2021. Technical Discipline Chair for: Computer Systems.
ISVLSI '21: IEEE Computer Society Annual Symposium on VLSI, Virtual Event, July 7 - 9, 2021. Chair of Technical Program Committee for Track: Computer-Aided Design and Verification.
AVIATION '20: 20^th AIAA Aviation Technology, Integration, and Operations Conference, Virtual Event, June 15 - 19, 2020. Technical Discipline Chair for: Computer Systems.
AVIATION '19: 19^th AIAA Aviation Technology, Integration, and Operations Conference, Dallas, Texas, U.S.A., June 17 - 21, 2019. Technical Discipline Chair for: Computer Systems.
ICCD '18: 36^th IEEE International Conference on Computer Design, Orlando, Florida, U.S.A., October 7 - 10, 2018. Chair of Technical Program Committee for Track: Electronic Design Automation.
SPACE '18: AIAA Space and Astronautics Forum and Exposition, Orlando, Florida, U.S.A., September 17 - 19, 2018. Technical Discipline Chair for: Information Systems and Software.
SummerSim '18: Summer Simulation Multi-Conference, Bordeaux, France, July 9 - 12, 2018. Chair of Technical Program Committee for Track: Verification and Validation of Computer Simulation Models.
AVIATION '18: 18^th AIAA Aviation Technology, Integration, and Operations Conference, Atlanta, Georgia, U.S.A., June 25 - 29, 2018. Technical Discipline Chair for: Computer Systems.
SummerSim '17: Summer Simulation Multi-Conference, Bellevue, Washington, U.S.A., July 9 - 12, 2017. Chair of Technical Program Committee for Track: Verification and Validation of Computer Simulation Models.
AVIATION '17: 17^th AIAA Aviation Technology, Integration, and Operations Conference, Denver, Colorado, U.S.A., June 5 - 9, 2017. Technical Discipline Chair for: Computer Systems.
SummerSim '16: Summer Simulation Multi-Conference, Montreal, Quebec, Canada, July 24 - 27, 2016. Chair of Technical Program Committee for Track: Verification and Validation of Computer Simulation Models.
ASQED '15: 6^th Asia Symposium on Quality Electronic Design, Penang, Malaysia, August 3 - 5, 2015. Chair of Technical Program Committee for Track: Design Verification and Design for Test.
SummerSim '15: Summer Simulation Multi-Conference, Chicago, Illinois, U.S.A., July 26 - 29, 2015. Chair of Technical Program Committee for Track: Modeling, Simulation, and Test for Cyber-Physical Systems.
ISQED '15: 16^th IEEE International Symposium on Quality Electronic Design, Santa Clara, California, U.S.A., March 2 - 4, 2015. Co-Chair of Technical Program Committee for Track: Design Verification and Design for Testability.
ASP-DAC '14: 19^th Asia and South Pacific Design Automation Conference, Singapore, January 20 - 23, 2014. Chair of Technical Program Committee for Track 6: Validation and Verification for Behavioral/Logic Design.
ASP-DAC '13: 18^th Asia and South Pacific Design Automation Conference, Yokohama, Japan, January 22 - 25, 2013. Chair of Technical Program Committee for Track 6: Validation and Verification for Behavioral/Logic Design.
MWSCAS '09: 52^nd IEEE International Midwest Symposium on Circuits and Systems (MWSCAS 2009), Cancun, Mexico, August 2 - 5, 2009. Co-Chair of Technical Program Committee for Track 8: Verification.
MWSCAS '08: 51^st IEEE International Midwest Symposium on Circuits and Systems (MWSCAS 2008), Knoxville, Tennessee, U.S.A., August 10 - 13, 2008. Co-Chair of Technical Program Committee for Track 8: Verification.
MWSCAS-NEWCAS '07: 50^th IEEE International Midwest Symposium on Circuits and Systems (MWSCAS 2007) and 5^th IEEE International NEWCAS Conference (IEEE-NEWCAS 2007), Montreal, Canada, August 5 - 8, 2007. Co-Chair of Technical Program Committee for Track 16: Characterization and Testing.
ISOCC '05: International SoC Design Conference, Seoul, Korea, October 20 - 21, 2005. Co-Chair of Technical Program Committee for Track 9: SoC Testing and Verification.

Best-Paper Award Committee Service

iFM '24: 19^th International Conference on Integrated Formal Methods, Manchester, U.K., November 11 - 15, 2024.
ISVLSI '21: IEEE Computer Society Annual Symposium on VLSI, Virtual Event, July 7 - 9, 2021.
ICCD '19: 37^th IEEE International Conference on Computer Design, Abu Dhabi, U.A.E., November 17 - 20, 2019. (Chair of the Best-Paper Award Committee)
DASC '18: 37^th IEEE/AIAA Digital Avionics Systems Conference, London, England, U.K., September 23 - 27, 2018.
DASC '17: 36^th IEEE/AIAA Digital Avionics Systems Conference, St. Petersburg, Florida, U.S.A., September 17 - 21, 2017.
DAC '17: 54^th ACM/IEEE Design Automation Conference, Austin, Texas, U.S.A., June 18 - 22, 2017. (Chair of the Best-Paper Award Committee for Designer Track)
GLSVLSI '17: 27^th ACM Great Lakes Symposium on VLSI, Banff, Alberta, Canada, May 10 - 12, 2017. (Chair of the Best-Paper Award Committee)
DAC '16: 53^rd ACM/IEEE Design Automation Conference, Austin, Texas, U.S.A., June 5 - 9, 2016. (Best-Paper Award Committee for Designer Track)
GLSVLSI '16: 26^th ACM Great Lakes Symposium on VLSI, Boston, Massachusetts, U.S.A., May 18 - 20, 2016.
DAC '15: 52^nd ACM/IEEE Design Automation Conference, San Francisco, California, U.S.A., June 7 - 11, 2015. (Best-Paper Award Committee for Designer Track)
GLSVLSI '15: 25^th ACM Great Lakes Symposium on VLSI, Pittsburgh, Pennsylvania, U.S.A., May 20 - 22, 2015.
ASP-DAC '14: 19^th Asia and South Pacific Design Automation Conference, Singapore, January 20 - 23, 2014.
ASP-DAC '13: 18^th Asia and South Pacific Design Automation Conference, Yokohama, Japan, January 22 - 25, 2013.

Publicity Chair

ISQED '22: 23^rd IEEE International Symposium on Quality Electronic Design, Virtual Event, April 6 - 8, 2022.
ISVLSI '17: IEEE Computer Society Annual Symposium on VLSI, Bochum, Germany, July 3 - 5, 2017.
IWSBP '16: 12^th International Workshop on Boolean Problems, Freiberg, Germany, September 22 - 23, 2016.
ISVLSI '16: IEEE Computer Society Annual Symposium on VLSI, Pittsburgh, Pennsylvania, U.S.A., July 11 - 13, 2016.
IVSW '16: 1^st IEEE International Verification and Security Workshop, Sant Feliu de Guixols, Catalunya, Spain, July 4 - 6, 2016.
ISQED '15: 16^th IEEE International Symposium on Quality Electronic Design, Santa Clara, California, U.S.A., March 2 - 4, 2015.
IWSBP '14: 11^th International Workshop on Boolean Problems, Freiberg, Germany, September 17 - 19, 2014.
GLSVLSI '14: 24^th ACM Great Lakes Symposium on VLSI, Houston, Texas, U.S.A., May 21 - 23, 2014.
ICST '14: Seventh IEEE International Conference on Software Testing, Verification and Validation, Cleveland, Ohio, U.S.A., March 31 - April 4, 2014.
ISQED '14: 15^th IEEE International Symposium on Quality Electronic Design, Santa Clara, California, U.S.A., March 3 - 5, 2014.
SARA '11: 9^th Symposium on Abstraction, Reformulation and Approximation, Parador de Cardona, Spain, July 17 - 18, 2011.
HLDVT '10: 15^th IEEE International High Level Design, Validation and Test Workshop, San Francisco, California, U.S.A., June 11 - 12, 2010.
HLDVT '09: 14^th IEEE International High Level Design, Validation and Test Workshop, San Francisco, California, U.S.A., November 4 - 6, 2009.

Plenary Chair

DSD '03: EUROMICRO Symposium on Digital System Design, Antalya, Turkey, September 3 - 5, 2003.

Proceedings Chair

SummerSim '16: Summer Simulation Multi-Conference, Montreal, Quebec, Canada, July 24 - 27, 2016.
GLSVLSI '16: 26^th ACM Great Lakes Symposium on VLSI, Boston, Massachusetts, U.S.A., May 18 - 20, 2016.

Industry Liaison Chair

HLDVT '11: 16^th IEEE International High Level Design, Validation and Test Workshop, Napa Valley, California, U.S.A., November 9 - 11, 2011.
SECURWARE '10: Fourth International Conference on Emerging Security Information, Systems and Technologies, Venice, Italy, July 18 - 25, 2010.

Industry/Research Chair

COMPUTATION TOOLS '21: Twelfth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking, Porto, Portugal, April 18 - 22, 2021.
COMPUTATION TOOLS '20: Eleventh International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking, Nice, France, October 25 - 29, 2020.
VALID '19: Eleventh International Conference on Advances in System Testing and Validation Lifecycle, Valencia, Spain, November 24 - 28, 2019.
CENICS '19: Twelfth International Conference on Advances in Circuits, Electronics and Micro-electronics, Nice, France, October 27 - 31, 2019.
UBICOMM '19: Thirteenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, Porto, Portugal, September 22 - 26, 2019.
ICIMP '19: Fourteenth International Conference on Internet Monitoring and Protection, Nice, France, July 28 - August 1, 2019.
COMPUTATION TOOLS '19: Tenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking, Venice, Italy, May 5 - 9, 2019.
UBICOMM '18: Twelfth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, Athens, Greece, November 18 - 22, 2018.
VALID '18: Tenth International Conference on Advances in System Testing and Validation Lifecycle, Nice, France, October 14 - 18, 2018.
CENICS '18: Eleventh International Conference on Advances in Circuits, Electronics and Micro-electronics, Venice, Italy, September 16 - 20, 2018.
ICIMP '18: Thirteenth International Conference on Internet Monitoring and Protection, Barcelona, Spain, July 22 - 26, 2018.
COMPUTATION TOOLS '18: Ninth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking, Barcelona, Spain, February 18 - 22, 2018.
UBICOMM '17: Eleventh International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, Barcelona, Spain, November 12 - 16, 2017.
VALID '17: Ninth International Conference on Advances in System Testing and Validation Lifecycle, Athens, Greece, October 8 - 12, 2017.
CENICS '17: Tenth International Conference on Advances in Circuits, Electronics and Micro-electronics, Rome, Italy, September 10 - 14, 2017.
ICIMP '17: Twelfth International Conference on Internet Monitoring and Protection, Venice, Italy, June 25 - 29, 2017.
COMPUTATION TOOLS '17: Eighth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking, Athens, Greece, February 19 - 23, 2017.
UBICOMM '16: Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, Venice, Italy, October 9 - 13, 2016.
ICIMP '16: Eleventh International Conference on Internet Monitoring and Protection, Valencia, Spain, May 22 - 26, 2016.
UBICOMM '15: Ninth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, Nice, France, July 19 - 24, 2015.
ICIMP '15: Tenth International Conference on Internet Monitoring and Protection, Brussels, Belgium, June 21 - 26, 2015.
UBICOMM '14: Eighth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, Rome, Italy, August 24 - 28, 2014.
ICIMP '14: Ninth International Conference on Internet Monitoring and Protection, Paris, France, July 20 - 24, 2014.

Registration Chair

GLSVLSI '15: 25^th ACM Great Lakes Symposium on VLSI, Pittsburgh, Pennsylvania, U.S.A., May 20 - 22, 2015.

Treasurer

SARA '11: 9^th Symposium on Abstraction, Reformulation and Approximation, Parador de Cardona, Spain, July 17 - 18, 2011.

Student Colloquium Chair

DASC '18: 37^th IEEE/AIAA Digital Avionics Systems Conference, London, England, U.K., September 23 - 27, 2018.
SummerSim '16: Summer Simulation Multi-Conference, Montreal, Quebec, Canada, July 24 - 27, 2016.
SummerSim '15: Summer Simulation Multi-Conference, Chicago, Illinois, U.S.A., July 26 - 29, 2015.

Web-Design Chair

MTV '02: 3^rd International IEEE Workshop on Microprocessor Test and Verification, Austin, Texas, U.S.A., June 2002.

Program Committee Service

2025

IEA/AIE '25: 38^th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems, Kytakyushu, Japan, July 1 - 4, 2025.
DAC '25: 62^nd ACM/IEEE Design Automation Conference, San Francisco, California, U.S.A., June 22 - 25, 2024. (Technical Program Committee for Front-End Design Engineering Track)
ASEE '25: 132^nd ASEE Annual Conference & Exposition, Montreal, Quebec, Canada, U.S.A., June 22 - 25, 2025. (Technical Program Committee for the Computing and Information Technology Division)
ASEE '25: 132^nd ASEE Annual Conference & Exposition, Montreal, Quebec, Canada, U.S.A., June 22 - 25, 2025. (Technical Program Committee for the Software Engineering Division)
ISCAS '25: 58^th IEEE International Symposium on Circuits and Systems, London, U.K., May 25 - 28, 2025. (Technical Program Committee for Track 12: Multimedia Systems and Applications)
ISCAS '25: 58^th IEEE International Symposium on Circuits and Systems, London, U.K., May 25 - 28, 2025. (Technical Program Committee for Track 8: Neural Networks and Neuromorphic Engineering)
ISCAS '25: 58^th IEEE International Symposium on Circuits and Systems, London, U.K., May 25 - 28, 2025. (Technical Program Committee for Track 2: Digital Integrated Circuits and Systems)
SOFTENG '25: Eleventh International Conference on Advances and Trends in Software Engineering, Nice, France, May 18 - 22, 2025.
ISQED '25: 26^th IEEE International Symposium on Quality Electronic Design, San Francisco, California, U.S.A., and Virtual, April 23 - 25, 2025. (Technical Program Committee for Track: Design Test and Verification)
AAAI '25: 39^th Annual AAAI Conference on Artificial Intelligence, Philadelphia, Pennsylvania, U.S.A., February 25 - March 4, 2025. (Senior Program Committee)

2024

ICOSST '24: 18^th IEEE International Conference on Open Source Systems and Technology, Lahore, Pakistan, December 26 - 27, 2024.
PIC '24: 9^th IEEE International Conference on Progress in Informatics and Computing, Shanghai, China, December 20 - 22, 2024.
AIAA-SC '24: 2024 AIAA Region VII Student Conference, Swinburne University of Technology, Melbourne, Australia, and Virtual, November 25 - 26, 2024.
PRICAI '24: 21^st Pacific Rim International Conference on Artificial Intelligence, Kyoto, Japan, November 18 - 24, 2024.
iFM '24: 19^th International Conference on Integrated Formal Methods, Manchester, U.K., November 11 - 15, 2024.
CENICS '24: Seventeenth International Conference on Advances in Circuits, Electronics and Micro-electronics, Nice, France, November 3 - 7, 2024.
AIxHEART '24: IEEE International Conference on Artificial Intelligence in Humanities, Education, and Art, Laguna Hills, California, U.S.A., and Virtual, September 30 - October 2, 2024.
AIxSET '24: IEEE International Conference on Artificial Intelligence in Science, Engineering, and Technology, Laguna Hills, California, U.S.A., and Virtual, September 30 - October 2, 2024.
UBICOMM '24: Eighteenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, Venice, Italy, September 29 - October 3, 2024.
VALID '24: Sixteenth International Conference on Advances in System Testing and Validation Lifecycle, Venice, Italy, September 29 - October 3, 2024.
DSD '24: 27^th EUROMICRO Conference on Digital System Design, Paris, France, August 28 - 30, 2024.
MWSCAS '24: 67^th IEEE International Midwest Symposium on Circuits and Systems, Springfield, Massachusetts, U.S.A., August 11 - 14, 2024. (Technical Program Committee for Track 12.1: AI Circuits, Systems, and Algorithms)
IEA/AIE '24: 37^th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems, Hradec Kralove, Czech Republic, July 10 - 12, 2024.
DAC '24: 61^st ACM/IEEE Design Automation Conference, San Francisco, California, U.S.A., June 23 - 27, 2024. (Technical Program Committee for Front-End Design Engineering Track)
ASEE '24: 131^st ASEE Annual Conference & Exposition, Portland, Oregon, U.S.A., June 23 - 26, 2024. (Technical Program Committee for the Software Engineering Division)
SOFTENG '24: Tenth International Conference on Advances and Trends in Software Engineering, Barcelona, Spain, May 26 - 30, 2024.
ISCAS '24: 57^th IEEE International Symposium on Circuits and Systems, Singapore, May 19 - 22, 2024. (Technical Program Committee for Track 2: Digital Integrated Circuits and Systems)
ICIMP '24: Nineteenth International Conference on Internet Monitoring and Protection, Venice, Italy, April 14 - 18, 2024.
COMPUTATION TOOLS '24: Fifteenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking, Venice, Italy, April 14 - 18, 2024.
AIAA-SC '24: AIAA Region III Student Conference, University of Akron, Akron, Ohio, U.S.A., April 5 - 6, 2024.
ISQED '24: 25^th IEEE International Symposium on Quality Electronic Design, San Francisco, California, U.S.A., April 3 - 5, 2024. (Technical Program Committee for Track: Design Test and Verification)
AAAS '24: AAAS Annual Meeting, Denver, Colorado, U.S.A., February 15 - 17, 2024.
SciTech '24: AIAA Science and Technology Forum and Exposition, Orlando, Florida, U.S.A., January 8 - 12, 2024.

2023

ICOSST '23: 17^th IEEE International Conference on Open Source Systems and Technologies, Lahore, Pakistan, December 20 - 21, 2023.
AIAA-SC '23: 2023 AIAA Region VII Student Conference, University of New South Wales Canberra, Canberra, Australia, November 27 - 28, 2023.
PRICAI '23: 20^th Pacific Rim International Conference on Artificial Intelligence, Jakarta, Indonesia, November 17 - 19, 2023.
VALID '23: Fifteenth International Conference on Advances in System Testing and Validation Lifecycle, Valencia, Spain, November 13 - 17, 2023.
ICCAD '23: 42^nd IEEE/ACM International Conference on Computer-Aided Design, San Francisco, California, U.S.A., October 29 - November 2, 2023. (Technical Program Committee of Track 2.2: Testing, Validation, Simulation, and Verification)
UBICOMM '23: Seventeenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, Porto, Portugal, September 25 - 29, 2023.
CENICS '23: Sixteenth International Conference on Advances in Circuits, Electronics and Micro-electronics, Porto, Portugal, September 25 - 29, 2023.
AI4I '23: Sixth IEEE International Conference on Artificial Intelligence for Industries, Laguna Hills, California, U.S.A., September 25 - 27, 2023.
SEW-43-IWCPS-10: Joint 43^rd IEEE Software Engineering Workshop (SEW-43) and 10^th International Workshop on Cyber-Physical Systems (IWCPS-10), Warsaw, Poland, September 17 - 20, 2023.
Workshops affiliated with the 18^th Federated Conference on Computer Science and Information Systems (FedCSIS '23), Warsaw, Poland, September 17 - 20, 2023.
DSD '23: 26^th EUROMICRO Conference on Digital System Design, Durres, Albania, September 6 - 8, 2023.
DSA '23: 10^th IEEE International Conference on Dependable Systems and Their Applications, Tokyo, Japan, August 10 - 11, 2023.
IEA/AIE '23: 36^th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems, Shanghai, China & Online, July 19 - 22, 2023.
DAC '23: 60^th ACM/IEEE Design Automation Conference, San Francisco, California, U.S.A., July 9 - 13, 2023. (Technical Program Committee for Front-End Design Engineering Track)
ICIMP '23: Eighteenth International Conference on Internet Monitoring and Protection, Nice, Saint-Laurent-du-Var, France, June 26 - 30, 2023.
COMPUTATION TOOLS '23: Fourteenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking, Nice, Saint-Laurent-du-Var, France, June 26 - 30, 2023.
ASEE '23: 130^th ASEE Annual Conference & Exposition, Baltimore, Maryland, U.S.A., June 25 - 28, 2023. (Technical Program Committee for the Computing & Information Technology Division)
ISCAS '23: 56^th IEEE International Symposium on Circuits and Systems, Monterey, California, U.S.A., May 21 - 25, 2023. (Technical Program Committee for Track 11: Visual Signal Processing and Communications)
ISCAS '23: 56^th IEEE International Symposium on Circuits and Systems, Monterey, California, U.S.A., May 21 - 25, 2023. (Technical Program Committee for Track 10: Digital Signal Processing)
ISCAS '23: 56^th IEEE International Symposium on Circuits and Systems, Monterey, California, U.S.A., May 21 - 25, 2023. (Technical Program Committee for Track 3: Communications Circuits and Systems)
ISCAS '23: 56^th IEEE International Symposium on Circuits and Systems, Monterey, California, U.S.A., May 21 - 25, 2023. (Technical Program Committee for Track 2: Digital Integrated Circuits and Systems)
IEAI '23: 4^th International Conference on Industrial Engineering and Artificial Intelligence, Chiang Mai, Thailand, April 27 - 29, 2023.
SOFTENG '23: Ninth International Conference on Advances and Trends in Software Engineering, Venice, Italy, April 24 - 28, 2023.
DATE '23: Design, Automation and Test in Europe, Antwerp, Belgium, April 17, 2023. (Technical Program Committee for: EDAA / ACM SIGDA / IEEE CEDA Ph.D. Forum)
ISQED '23: 24^th IEEE International Symposium on Quality Electronic Design, Santa Clara, California, U.S.A., April, 2023. (Technical Program Committee for Track: Design Test and Verification)
ASEE-IL-IN '23: ASEE IL-IN Section Conference, Edwardsville, Illinois, U.S.A., April 1, 2023.
AIAA-SC '23: AIAA Region III Student Conference, University of Dayton, Dayton, Ohio, U.S.A. & Online, March 24 - 25, 2023.
AAAI '23: 37^th AAAI Conference on Artificial Intelligence, Washington, D.C., U.S.A., February 7 - 14, 2023. (Technical Program Committee for Senior Member Presentation Track)

2022

ICOSST '22: 16^th IEEE International Conference on Open Source Systems and Technologies, Lahore, Pakistan and Virtual, December 14 - 15, 2022.
AIAA-SC '22: 2022 AIAA Region VII Student Conference, Adelaide, Australia, and Virtual, November 28 - 29, 2022.
UBICOMM '22: Sixteenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, Valencia, Spain, November 13 - 17, 2022.
PRICAI '22: 19^th Pacific Rim International Conference on Artificial Intelligence, Shanghai, China, and Virtual, November 10 - 13, 2022.
ICAICE '22: 3^rd International Conference on Artificial Intelligence and Computer Engineering, Wuhan, China, November 4 - 6, 2022.
IFoRE '22: First Sigma Xi International Forum on Research Excellence, Alexandria, Virginia, U.S.A., and Virtual, November 3 - 6, 2022. Lead Judge for Student Research in Math and Computer Science.
ICCAD '22: 41^st IEEE/ACM International Conference on Computer-Aided Design, San Diego, California, U.S.A., and Virtual, October 30 - November 3, 2022. (Technical Program Committee of Track 2.1: High-Level, Behavioral, and Logic Synthesis and Optimization)
CENICS '22: Fifteenth International Conference on Advances in Circuits, Electronics and Micro-electronics, Lisbon, Portugal, October 16 - 20, 2022.
VALID '22: Fourteenth International Conference on Advances in System Testing and Validation Lifecycle, Lisbon, Portugal, October 16 - 20, 2022.
AI4I '22: Fifth IEEE International Conference on Artificial Intelligence for Industries, Laguna Hills, California, U.S.A. and Virtual, September 19 - 21, 2022.
SEW-42-IWCPS-9: Joint 42^nd IEEE Software Engineering Workshop (SEW-42) and 9^th International Workshop on Cyber-Physical Systems (IWCPS-9), Sofia, Bulgaria, September 4 - 7, 2022.
Workshops affiliated with the 17^th Federated Conference on Computer Science and Information Systems (FedCSIS '22), Sofia, Bulgaria, September 4 - 7, 2022.
DSD '22: 25^th EUROMICRO Conference on Digital System Design, Gran Canaria, Spain, August 31 - September 2, 2022.
MWSCAS '22: 65^th IEEE International Midwest Symposium on Circuits and Systems, Virtual Event, August 7 - 10, 2022. (Technical Program Committee for Track 9: Artificial Intelligence (AI) and Internet of Things (IOT))
MWSCAS '22: 65^th IEEE International Midwest Symposium on Circuits and Systems, Virtual Event, August 7 - 10, 2022. (Technical Program Committee for Track 3: Communications Circuits and Systems)
DSA '22: 9^th IEEE International Conference on Dependable Systems and Their Applications, Wulumuqi, China, August 4 - 5, 2022.
DAC '22: 59^th ACM/IEEE Design Automation Conference, San Francisco, California, U.S.A., July 10 - 14, 2022. (Technical Program Committee for Designer Track)
AVIATION '22: 22^nd AIAA Aviation and Aeronautics Forum and Exposition, Chicago, IL, U.S.A. & Online, June 27 - July 1, 2022. Technical Discipline Chair for: Computer Systems.
ICIMP '22: Seventeenth International Conference on Internet Monitoring and Protection, Porto, Portugal, June 26 - 30, 2022.
ASEE '22: 129^th ASEE Annual Conference & Exposition, Minneapolis, Minnesota, U.S.A., June 26 - 29, 2022. (Technical Program Committee for the Computing & Information Technology Division)
ASEE '22: 129^th ASEE Annual Conference & Exposition, Minneapolis, Minnesota, U.S.A., June 26 - 29, 2022. (Technical Program Committee for the Energy Conversion, Conservation, and Nuclear Engineering Division)
ASEE-Zone-IV '22: ASEE Zone IV Conference, Vancouver, BC, Canada, May 12 - 14, 2022.
SRS '22: Sigma Xi Student Research Showcase, Virtual Event, April 25 - May 9, 2022.
SOFTENG '22: Eighth International Conference on Advances and Trends in Software Engineering, Barcelona, Spain, April 24 - 28, 2022.
COMPUTATION TOOLS '22: Thirteenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking, Barcelona, Spain, April 24 - 28, 2022.
ISQED '22: 23^rd IEEE International Symposium on Quality Electronic Design, Virtual Event, April 6 - 8, 2022. Co-Chair of Technical Program Committee for Track: Design Test and Verification.
AIAA-SC '22: AIAA Region III Student Conference, Purdue University, West Lafayette, Indiana, U.S.A. & Online, March 25 - 26, 2022.
AAAI '22: 36^th AAAI Conference on Artificial Intelligence, Vancouver, BC, Canada, February 22 - March 1, 2022.
AAAS '22: AAAS Annual Meeting, Philadelphia, Pennsylvania, U.S.A. and Virtual, February 17 - 20, 2022.
SciTech '22: AIAA SciTech Forum and Exposition, San Diego, California, U.S.A., January 3 - 7, 2022. Technical Discipline Chair for: Computer Systems.

2021

ICOSST '21: 15^th IEEE International Conference on Open Source Systems and Technologies, Lahore, Pakistan, December 15 - 16, 2021.
DAC '21: 58^th ACM/IEEE Design Automation Conference, San Francisco, California, U.S.A., December 5 - 9, 2021. (Technical Program Committee for SIGDA Ph.D. Forum)
DAC '21: 58^th ACM/IEEE Design Automation Conference, San Francisco, California, U.S.A., December 5 - 9, 2021. (Technical Program Committee for Designer Track)
AIAA-SC '21: 2021 AIAA Region VII Student Conference, Melbourne, Australia & Online, November 29 - 30, 2021.
CENICS '21: Fourteenth International Conference on Advances in Circuits, Electronics and Micro-electronics, Athens, Greece, November 14 - 18, 2021.
Sigma-Xi '21: Sigma Xi Annual Meeting and Student Research Conference, Virtual Event, November 4 - 7, 2021. Lead Judge for Student Research in Math and Computer Science.
Sigma-Xi '21: Sigma Xi Annual Meeting and Student Research Conference, Virtual Event, November 4 - 7, 2021. (Judge for Interdisciplinary Student Research)
PRICAI '21: 18^th Pacific Rim International Conference on Artificial Intelligence, Virtual Event, November 8 - 12, 2021.
VALID '21: Thirteenth International Conference on Advances in System Testing and Validation Lifecycle, Barcelona, Spain, October 3 - 7, 2021.
UBICOMM '21: Fifteenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, Barcelona, Spain, October 3 - 7, 2021.
AI4I '21: Fourth IEEE International Conference on Artificial Intelligence for Industries, Laguna Hills, California, U.S.A., September 20 - 22, 2021.
SEW-41-IWCPS-8: Joint 41^st IEEE Software Engineering Workshop (SEW-41) and 8^th International Workshop on Cyber-Physical Systems (IWCPS-8), Virtual Event, September 2 - 5, 2021.
Workshops affiliated with the 16^th Federated Conference on Computer Science and Information Systems (FedCSIS '21), Virtual Event, September 2 - 5, 2021.
DSD '21: 24^th EUROMICRO Conference on Digital System Design, Palermo, Italy, September 1 - 3, 2021.
MWSCAS '21: 64^th IEEE International Midwest Symposium on Circuits and Systems, Virtual Event, August 9 - 11, 2021.
PROPULSION-ENERGY '21: AIAA Propulsion and Energy Forum and Exposition, Virtual Event, August 9 - 11, 2021.
AVIATION '21: 21^st AIAA Aviation and Aeronautics Forum and Exposition, Virtual Event, August 2 - 6, 2021. Technical Discipline Chair for: Computer Systems.
ISVLSI '21: IEEE Computer Society Annual Symposium on VLSI, Virtual Event, July 7 - 9, 2021. Chair of Technical Program Committee for Track: Computer-Aided Design and Verification.
ASEE '21: 128^th ASEE Annual Conference & Exposition, Long Beach, California, U.S.A., June 27 - 30, 2021. (Technical Program Committee for the Energy Conversion and Conservation Division)
ACM-SRC '21: ACM Student Research Competition (SRC) Grand Finals, Virtual Event, June 2021.
ICIMP '21: Sixteenth International Conference on Internet Monitoring and Protection, Valencia, Spain, May 30 - June 3, 2021.
SOFTENG '21: Seventh International Conference on Advances and Trends in Software Engineering, Porto, Portugal, April 18 - 22, 2021.
COMPUTATION TOOLS '21: Twelfth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking, Porto, Portugal, April 18 - 22, 2021.
ISQED '21: 22^nd IEEE International Symposium on Quality Electronic Design, Virtual Event, U.S.A., April 7 - 9, 2021. (Technical Program Committee for Track: Design Verification and Design Testability)
AAAS '21: AAAS Annual Meeting, Virtual Event, February 8 - 11, 2021.
AAAI '21: 35^th AAAI Conference on Artificial Intelligence, Virtual Event, February 2 - 9, 2021.
SciTech '21: AIAA Science and Technology Forum and Exposition, Virtual Event, January 11 - 15, 2021.

2020

ICOSST '20: 14^th IEEE International Conference on Open Source Systems and Technologies, Virtual Event, December 16 - 17, 2020.
CENICS '20: Thirteenth International Conference on Advances in Circuits, Electronics and Micro-electronics, Valencia, Spain, November 21 - 25, 2020.
Sigma-Xi '20: Sigma Xi Annual Meeting and Student Research Conference, Virtual Event, November 5 - 8, 2020.
COMPUTATION TOOLS '20: Eleventh International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking, Nice, France, October 25 - 29, 2020.
UBICOMM '20: Fourteenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, Nice, France, October 25 - 29, 2020.
VALID '20: Twelfth International Conference on Advances in System Testing and Validation Lifecycle, Porto, Portugal, October 18 - 22, 2020.
ISCAS '20: 53^rd IEEE International Symposium on Circuits and Systems, Virtual Event, October 11 - 14, 2020. (Technical Program Committee for Track 3: Communications Circuits and Systems)
ICIMP '20: Fifteenth International Conference on Internet Monitoring and Protection, Lisbon, Portugal, September 27 - October 1, 2020.
AI4I '20: Third IEEE International Conference on Artificial Intelligence for Industries, Virtual Event, September 21 - 23, 2020.
SEW-40-IWCPS-7: Joint 40^th IEEE Software Engineering Workshop (SEW-40) and 7^th International Workshop on Cyber-Physical Systems (IWCPS-7), Sofia, Bulgaria, September 6 - 9, 2020.
Workshops affiliated with the 15^th Federated Conference on Computer Science and Information Systems (FedCSIS '20), Sofia, Bulgaria, September 6 - 9, 2020.
DSD '20: 23^rd EUROMICRO Conference on Digital System Design, Virtual Event, August 26 - 28, 2020.
PROPULSION-ENERGY '20: AIAA Propulsion and Energy Forum and Exposition, Virtual Event, August 24 - 26, 2020.
DAC '20: 57^th ACM/IEEE Design Automation Conference, Virtual Event, July 19 - 22, 2020. (Technical Program Committee for SIGDA Ph.D. Forum)
DAC '20: 57^th ACM/IEEE Design Automation Conference, Virtual Event, July 19 - 22, 2020. (Technical Program Committee for Designer Track)
ISVLSI '20: IEEE Computer Society Annual Symposium on VLSI, Limassol, Cyprus, July 6 - 8, 2020. (Technical Program Committee for Track: Computer-Aided Design and Verification)
ACM-SRC '20: ACM Student Research Competition (SRC) Grand Finals, Virtual Event, June 2020.
AVIATION '20: 20^th AIAA Aviation Technology, Integration, and Operations Conference, Virtual Event, June 15 - 19, 2020. Technical Discipline Chair for: Computer Systems.
VS³ '20: Sigma Xi Virtual Student Scholars Symposium, Virtual Event, May 14, 2020.
SAC '20: 35^th ACM/SIGAPP Symposium on Applied Computing, Brno, Czech Republic, March 30 - April 3, 2020. (Technical Program Committee for Track 15: Embedded Systems)
AIAA-SC '20: AIAA Region III Student Conference, Virtual Event, March 2020.
ISQED '20: 21^st IEEE International Symposium on Quality Electronic Design, Santa Clara, California, U.S.A., March 25 - 26, 2020. (Technical Program Committee for Track: Design Verification and Design Testability)
SOFTENG '20: Sixth International Conference on Advances and Trends in Software Engineering, Lisbon, Portugal, February 23 - 27, 2020.
AAAS '20: AAAS Annual Meeting, Seattle, WA, U.S.A., February 13 - 16, 2020.
ISAIM '20: 16^th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida, U.S.A., January 6 - 8, 2020.

2019

ICOSST '19: 13^th IEEE International Conference on Open Source Systems and Technologies, Lahore, Pakistan, December 17 - 19, 2019.
VALID '19: Eleventh International Conference on Advances in System Testing and Validation Lifecycle, Valencia, Spain, November 24 - 28, 2019.
CENICS '19: Twelfth International Conference on Advances in Circuits, Electronics and Micro-electronics, Nice, France, October 27 - 31, 2019.
AI4I '19: Second IEEE International Conference on Artificial Intelligence for Industries, Laguna Hills, California, U.S.A., September 25 - 27, 2019.
UBICOMM '19: Thirteenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, Porto, Portugal, September 22 - 26, 2019.
DASC '19: 38^th IEEE/AIAA Digital Avionics Systems Conference, San Diego, California, U.S.A., September 8 - 12, 2019. (Technical Program Committee of Track: Cyber, Systems, and Software)
SEW-39-IWCPS-6: Joint 39^th IEEE Software Engineering Workshop (SEW-39) and 6^th International Workshop on Cyber-Physical Systems (IWCPS-6), Leipzig, Germany, September 1 - 4, 2019.
Workshops affiliated with the 14^th Federated Conference on Computer Science and Information Systems (FedCSIS '19), Leipzig, Germany, September 1 - 4, 2019.
DSD '19: 22^nd EUROMICRO Conference on Digital System Design, Kallithea, Chalkidiki, Greece, August 28 - 30, 2019.
PRICAI '19: 16^th Pacific Rim International Conference on Artificial Intelligence, Yanuca Island, Cuvu, Fiji, August 26 - 30, 2019.
ICIMP '19: Fourteenth International Conference on Internet Monitoring and Protection, Nice, France, July 28 - August 1, 2019.
ISVLSI '19: IEEE Computer Society Annual Symposium on VLSI, Miami, Florida, U.S.A., July 15 - 17, 2019. (Technical Program Committee for Track: Computer-Aided Design and Verification)
AVIATION '19: 19^th AIAA Aviation Technology, Integration, and Operations Conference, Dallas, Texas, U.S.A., June 17 - 21, 2019. Technical Discipline Chair for: Computer Systems.
ACM-SRC '19: ACM Student Research Competition (SRC) Grand Finals, San Francisco, California, U.S.A., June 21, 2019.
ASEE '19: 126^th ASEE Annual Conference & Exposition, Tampa, Florida, U.S.A., June 16 - 19, 2019. (Technical Program Committee for the Computing & Information Technology Division)
DAC '19: 56^th ACM/IEEE Design Automation Conference, Las Vegas, Nevada, U.S.A., June 2 - 6, 2019. (Technical Program Committee for SIGDA Ph.D. Forum)
DAC '19: 56^th ACM/IEEE Design Automation Conference, Las Vegas, Nevada, U.S.A., June 2 - 6, 2019. (Technical Program Committee for Designer Track)
ISCAS '19: 52^nd IEEE International Symposium on Circuits and Systems, Sapporo, Japan, May 26 - 29, 2019. (Technical Program Committee for Track 3: Communications Circuits and Systems)
COMPUTATION TOOLS '19: Tenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking, Venice, Italy, May 5 - 9, 2019.
AIAA-DC’19-20: 2019/2020 AIAA Design Competition Request for Proposal (RFP) Review, April 2019.
SAC '19: 34^th ACM/SIGAPP Symposium on Applied Computing, Limassol, Cyprus, April 8 - 12, 2019. (Technical Program Committee for Track 38: Embedded Systems)
SOFTENG '19: Fifth International Conference on Advances and Trends in Software Engineering, Valencia, Spain, March 24 - 28, 2019.
ISQED '19: 20^th IEEE International Symposium on Quality Electronic Design, Santa Clara, California, U.S.A., March 6 - 7, 2019. (Technical Program Committee for Track: Design Verification and Design Testability)
AAAS '19: AAAS Annual Meeting, Washington, DC, U.S.A., February 14 - 17, 2019.
AAAI '19: Thirty-Third AAAI Conference on Artificial Intelligence, Honolulu, Hawaii, U.S.A., January 27 - February 1, 2019.

2018

ICOSST '18: 12^th IEEE International Conference on Open Source Systems and Technologies, Lahore, Pakistan, December 19 - 21, 2018.
UBICOMM '18: Twelfth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, Athens, Greece, November 18 - 22, 2018.
ICCAD '18: 37^th IEEE/ACM International Conference on Computer-Aided Design, San Diego, California, U.S.A., November 5 - 8, 2018. (Technical Program Committee of Track 2.2: Testing, Validation, Simulation, and Verification)
SRC@ICCAD '18: ACM Student Research Competition (SRC) at ICCAD, San Diego, California, U.S.A., November 5, 2018. Affiliated with the 37^th IEEE/ACM International Conference on Computer-Aided Design, San Diego, California, U.S.A., November 5 - 8, 2018.
CICET '18: International Conference on Recent Advancements in Computing, IoT and Computer Engineering Technology, Taipei, Taiwan, October 29 - 31, 2018.
VALID '18: Tenth International Conference on Advances in System Testing and Validation Lifecycle, Nice, France, October 14 - 18, 2018.
ICCD '18: 36^th IEEE International Conference on Computer Design, Orlando, Florida, U.S.A., October 7 - 10, 2018. Chair of Technical Program Committee for Track: Electronic Design Automation.
AI4I '18: First IEEE International Conference on Artificial Intelligence for Industries, Laguna Hills, California, U.S.A., September 26 - 28, 2018.
DASC '18: 37^th IEEE/AIAA Digital Avionics Systems Conference, London, England, U.K., September 23 - 27, 2018. (Technical Program Committee of Track: Cyber, Systems, and Software)
DASC '18: 37^th IEEE/AIAA Digital Avionics Systems Conference, London, England, U.K., September 23 - 27, 2018. (Technical Program Committee of Track: Air Traffic Management)
SPACE '18: AIAA Space and Astronautics Forum and Exposition, Orlando, Florida, U.S.A., September 17 - 19, 2018. Technical Discipline Chair for: Information Systems and Software.
CENICS '18: Eleventh International Conference on Advances in Circuits, Electronics and Micro-electronics, Venice, Italy, September 16 - 20, 2018.
SEW-38-IWCPS-5: Joint 38^th IEEE Software Engineering Workshop (SEW-38) and 5^th International Workshop on Cyber-Physical Systems (IWCPS-5), Poznan, Poland, September 9 - 12, 2018.
Workshops affiliated with the Federated Conference on Computer Science and Information Systems (FedCSIS '18), Poznan, Poland, September 9 - 12, 2018.
DSD '18: 21^st EUROMICRO Conference on Digital System Design, Prague, Czech Republic, August 29 - 31, 2018.
PRICAI '18: 15^th Pacific Rim International Conference on Artificial Intelligence, Nanjing, China, August 28 - 31, 2018.
ICIMP '18: Thirteenth International Conference on Internet Monitoring and Protection, Barcelona, Spain, July 22 - 26, 2018.
SummerSim '18: Summer Simulation Multi-Conference, Bordeaux, France, July 9 - 12, 2018. Chair of Technical Program Committee for Track: Verification and Validation of Computer Simulation Models.
ISVLSI '18: IEEE Computer Society Annual Symposium on VLSI, Hong Kong, China, July 8 - 11, 2018. (Technical Program Committee for Track: Computer-Aided Design and Verification)
AVIATION '18: 18^th AIAA Aviation Technology, Integration, and Operations Conference, Atlanta, Georgia, U.S.A., June 25 - 29, 2018. Technical Discipline Chair for: Computer Systems.
DAC '18: 55^th ACM/IEEE Design Automation Conference, San Francisco, California, U.S.A., June 24 - 28, 2018. (Technical Program Committee for SIGDA Ph.D. Forum)
DAC '18: 55^th ACM/IEEE Design Automation Conference, San Francisco, California, U.S.A., June 24 - 28, 2018. (Technical Program Committee for Designer Track)
ASEE '18: 125^th ASEE Annual Conference & Exposition, Salt Lake City, Utah, U.S.A., June 24 - 27, 2018. (Technical Program Committee for the Computing & Information Technology Division)
ACM-SRC '18: ACM Student Research Competition (SRC) Grand Finals, San Francisco, California, U.S.A., June 21, 2018.
SOFTENG '18: Fourth International Conference on Advances and Trends in Software Engineering, Athens, Greece, April 22 - 26, 2018.
AIAA-SC '18: AIAA Region III Student Conference, West Lafayette, Indiana, U.S.A., April 13 - 14, 2018.
SAC '18: 33^rd ACM Symposium on Applied Computing, Pau, France, April 9 - 13, 2018. (Technical Program Committee for Track 14: Embedded Systems)
SASIMI '18: 21^st Workshop on Synthesis and System Integration of Mixed Information Technologies, Matsue, Japan, March 26 - 27, 2018. (Technical Program Committee for the Logic Level Design Track)
DATE '18: Design, Automation and Test in Europe, Dresden, Germany, March 19, 2018. (Technical Program Committee for: EDAA / ACM SIGDA Ph.D. Forum)
ISQED '18: 19^th IEEE International Symposium on Quality Electronic Design, Santa Clara, California, U.S.A., March 13 - 14, 2018. (Technical Program Committee for Track: Design Verification and Design Testability)
COMPUTATION TOOLS '18: Ninth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking, Barcelona, Spain, February 18 - 22, 2018.
AAAI '18: Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, Louisiana, U.S.A., February 2 - 7, 2018.
ISAIM '18: 15^th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida, U.S.A., January 3 - 5, 2018.

2017

ICCAD '17: 36^th IEEE/ACM International Conference on Computer-Aided Design, Irvine, California, U.S.A., November 13 - 16, 2017. (Technical Program Committee of Track 1.2: Hardware for Embedded Systems)
SRC@ICCAD '17: ACM Student Research Competition (SRC) at ICCAD, Irvine, California, U.S.A., November 13, 2017. Affiliated with the 36^th IEEE/ACM International Conference on Computer-Aided Design, Irvine, California, U.S.A., November 13 - 16, 2017.
UBICOMM '17: Eleventh International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, Barcelona, Spain, November 12 - 16, 2017.
ICCD '17: 35^th IEEE International Conference on Computer Design, Newton, Massachusetts, U.S.A., November 5 - 8, 2017. (Technical Program Committee for Track: Computer Systems and Architecture)
ICTAI '17: 29^th IEEE International Conference on Tools with Artificial Intelligence, Boston, Massachusetts, U.S.A., November 6 - 8, 2017. (Technical Program Committee for the SAT/CSP Track)
VALID '17: Ninth International Conference on Advances in System Testing and Validation Lifecycle, Athens, Greece, October 8 - 12, 2017.
ICITCS '17: 7^th iCatse Conference on IT Convergence and Security, Seoul, Korea, September 25 - 28, 2017.
DASC '17: 36^th IEEE/AIAA Digital Avionics Systems Conference, St. Petersburg, Florida, U.S.A., September 17 - 21, 2017. (Judge in the Student Research Competition)
SPACE '17: AIAA SPACE Forum and Exposition, Orlando, Florida, U.S.A., September 12 - 14, 2017.
CENICS '17: Tenth International Conference on Advances in Circuits, Electronics and Micro-electronics, Rome, Italy, September 10 - 14, 2017.
SEW-37: 37^th IEEE Software Engineering Workshop, Prague, Czech Republic, September 3 - 6, 2017.
A workshop affiliated with the Federated Conference on Computer Science and Information Systems (FedCSIS '17), Prague, Czech Republic, September 3 - 6, 2017.
DSD '17: 20^th EUROMICRO Conference on Digital System Design, Vienna, Austria, August 30 - September 1, 2017.
SummerSim '17: Summer Simulation Multi-Conference, Bellevue, Washington, U.S.A., July 9 - 12, 2017. Chair of Technical Program Committee for Track: Verification and Validation of Computer Simulation Models.
ISVLSI '17: IEEE Computer Society Annual Symposium on VLSI, Bochum, Germany, July 3 - 5, 2017. (Technical Program Committee for Track: Computer-Aided Design and Verification)
ICIMP '17: Twelfth International Conference on Internet Monitoring and Protection, Venice, Italy, June 25 - 29, 2017.
ACM-SRC '17: ACM Student Research Competition (SRC) Grand Finals, San Francisco, California, U.S.A., June 24, 2017.
DAC '17: 54^th ACM/IEEE Design Automation Conference, Austin, Texas, U.S.A., June 18 - 22, 2017. (Technical Program Committee for SIGDA Ph.D. Forum)
DAC '17: 54^th ACM/IEEE Design Automation Conference, Austin, Texas, U.S.A., June 18 - 22, 2017. (Technical Program Committee for Designer Track)
AVIATION '17: 17^th AIAA Aviation Technology, Integration, and Operations Conference, Denver, Colorado, U.S.A., June 5 - 9, 2017. Technical Discipline Chair for: Computer Systems.
ISCAS '17: 50^th IEEE International Symposium on Circuits and Systems, Baltimore, Maryland, U.S.A., May 28 - 31, 2017. (Technical Program Committee for Track 3: Communications Circuits and Systems)
SOFTENG '17: Third International Conference on Advances and Trends in Software Engineering, Venice, Italy, April 23 - 27, 2017.
SAC '17: 32^nd ACM Symposium on Applied Computing, Marrakech, Morocco, April 4 - 6, 2017. (Technical Program Committee for Track 13: Embedded Systems)
DATE '17: Design, Automation and Test in Europe, Lausanne, Switzerland, March 27, 2017. (Technical Program Committee for: EDAA / ACM SIGDA Ph.D. Forum)
AIAA-SC '17: AIAA Region III Student Conference, Ann Arbor, Michigan, U.S.A., March 24 - 25, 2017.
ISQED '17: 18^th IEEE International Symposium on Quality Electronic Design, Santa Clara, California, U.S.A., March 14 - 15, 2017. (Technical Program Committee for Track: Design Verification and Design Testability)
COMPUTATION TOOLS '17: Eighth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking, Athens, Greece, February 19 - 23, 2017.
ForSE ’17: Workshop on FORmal Methods for Security Engineering, Porto, Portugal, February 19 - 21, 2017. Affiliated with the 3^rd International Conference on Information Systems Security and Privacy (ICISSP’17), Porto, Portugal, February 19 - 21, 2017.
AAAI '17: Thirty-First AAAI Conference on Artificial Intelligence, San Francisco, California, U.S.A., February 4 - 9, 2017.

2016

SRC@ICCAD '16: ACM Student Research Competition (SRC) at ICCAD, Austin, Texas, U.S.A., November 7 - 8, 2016. Affiliated with the 35^th IEEE/ACM International Conference on Computer-Aided Design, Austin, Texas, U.S.A., November 7 - 10, 2016.
ICTAI '16: 28^th IEEE International Conference on Tools with Artificial Intelligence, San Jose, California, U.S.A., November 6 - 8, 2016.
SASIMI '16: 20^th Workshop on Synthesis and System Integration of Mixed Information Technologies, Kyoto, Japan, October 24 - 25, 2016. (Technical Program Committee for the Logic Design / Reconfigurable System Track)
UBICOMM '16: Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, Venice, Italy, October 9 - 13, 2016.
ICCD '16: 34^th IEEE International Conference on Computer Design, Phoenix, Arizona, U.S.A., October 3 - 5, 2016. (Technical Program Committee for Track: Computer Systems and Applications)
IWSBP '16: 12^th International Workshop on Boolean Problems, Freiberg, Germany, September 22 - 23, 2016.
SPACE '16: AIAA SPACE Forum and Exposition, Long Beach, California, U.S.A., September 13 - 16, 2016.
SEW-36: 36^th IEEE Software Engineering Workshop, Gdansk, Poland, September 11 - 14, 2016.
A workshop affiliated with the Federated Conference on Computer Science and Information Systems (FedCSIS '16), Gdansk, Poland, September 11 - 14, 2016.
DSD '16: 19^th EUROMICRO Conference on Digital System Design, Limassol, Cyprus, August 31 - September 2, 2016.
PRICAI '16: 14^th Pacific Rim International Conference on Artificial Intelligence, Phuket, Thailand, August 22 - 26, 2016.
VALID '16: Eighth International Conference on Advances in System Testing and Validation Lifecycle, Brussels, Belgium, August 21 - 25, 2016.
SECURWARE '16: Tenth International Conference on Emerging Security Information, Systems and Technologies, Nice, France, July 24 - 28, 2016.
CENICS '16: Ninth International Conference on Advances in Circuits, Electronics and Micro-electronics, Nice, France, July 24 - 28, 2016.
SummerSim '16: Summer Simulation Multi-Conference, Montreal, Quebec, Canada, July 24 - 27, 2016. Chair of Technical Program Committee for Track: Verification and Validation of Computer Simulation Models.
ISVLSI '16: IEEE Computer Society Annual Symposium on VLSI, Pittsburgh, Pennsylvania, U.S.A., July 11 - 13, 2016. (Technical Program Committee for Track: Computer-Aided Design and Verification)
IVSW '16: 1^st IEEE International Verification and Security Workshop, Sant Feliu de Guixols, Catalunya, Spain, July 4 - 6, 2016.
ACM-SRC '16: ACM Student Research Competition (SRC) Grand Finals, San Francisco, California, U.S.A., June 11, 2016.
DAC '16: 53^rd ACM/IEEE Design Automation Conference, Austin, Texas, U.S.A., June 5 - 9, 2016. (Technical Program Committee for SIGDA Ph.D. Forum)
DAC '16: 53^rd ACM/IEEE Design Automation Conference, Austin, Texas, U.S.A., June 5 - 9, 2016. (Technical Program Committee for Designer Track)
DAC '16: 53^rd ACM/IEEE Design Automation Conference, Austin, Texas, U.S.A., June 5 - 9, 2016. (Technical Program Committee for Track ESS2: Embedded System Design Methodologies)
ICIMP '16: Eleventh International Conference on Internet Monitoring and Protection, Valencia, Spain, May 22 - 26, 2016.
ISCAS '16: IEEE International Symposium on Circuits and Systems, Montreal, Quebec, Canada, May 22 - 25, 2016. (Technical Program Committee for Track 3: Circuits and Systems for Communications)
ISCAS '16: IEEE International Symposium on Circuits and Systems, Montreal, Quebec, Canada, May 22 - 25, 2016. (Technical Program Committee for Track 12: VLSI Systems, Architectures and Applications)
GLSVLSI '16: 26^th ACM Great Lakes Symposium on VLSI, Boston, Massachusetts, U.S.A., May 18 - 20, 2016. (Technical Program Committee for the Computer-Aided Design Track)
SAC '16: 31^st ACM Symposium on Applied Computing, Pisa, Italy, April 4 - 8, 2016. (Technical Program Committee for Track 11: Embedded Systems)
AIAA-SC '16: AIAA Region III Student Conference, Urbana-Champaign, Illinois, U.S.A., April 1 - 2, 2016.
COMPUTATION TOOLS '16: Seventh International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking, Rome, Italy, March 20 - 24, 2016.
ISQED '16: 17^th IEEE International Symposium on Quality Electronic Design, Santa Clara, California, U.S.A., March 15 - 16, 2016. (Technical Program Committee for Track: Design Verification and Design Testability)
DATE '16: Design, Automation and Test in Europe, Dresden, Germany, March 14 - 18, 2016. (Technical Program Committee for: EDAA / ACM SIGDA Ph.D. Forum)
SOFTENG '16: Second International Conference on Advances and Trends in Software Engineering, Lisbon, Portugal, February 21 - 25, 2016.
ICISA '16: 7^th International Conference on Information Science and Applications, Ho Chi Minh City, Vietnam, February 15 - 18, 2016.
AAAI '16: Thirtieth AAAI Conference on Artificial Intelligence, Phoenix, Arizona, U.S.A., February 12 - 17, 2016.
ISAIM '16: 14^th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida, U.S.A., January 4 - 6, 2016.

2015

ICOSST '15: 9^th IEEE International Conference on Open Source Systems and Technologies, Lahore, Pakistan, December 17 - 19, 2015.
VALID '15: Seventh International Conference on Advances in System Testing and Validation Lifecycle, Barcelona, Spain, November 15 - 20, 2015.
ICTAI '15: 27^th IEEE International Conference on Tools with Artificial Intelligence, Vietri sul Mare, Italy, November 9 - 11, 2015.
SRC@ICCAD '15: ACM Student Research Competition (SRC) at ICCAD, Austin, Texas, U.S.A., November 2 - 3, 2015. Affiliated with the 34^th IEEE/ACM International Conference on Computer-Aided Design, Austin, Texas, U.S.A., November 2 - 6, 2015.
DSD '15: 18^th EUROMICRO Conference on Digital System Design, Funchal, Madeira, Portugal, August 26 - 28, 2015.
SECURWARE '15: Ninth International Conference on Emerging Security Information, Systems and Technologies, Venice, Italy, August 23 - 28, 2015.
CENICS '15: Eighth International Conference on Advances in Circuits, Electronics and Micro-electronics, Venice, Italy, August 23 - 28, 2015.
QRS '15: IEEE International Conference on Software Quality, Reliability & Security, Vancouver, Canada, August 3 - 5, 2015.
ASQED '15: 6^th Asia Symposium on Quality Electronic Design, Penang, Malaysia, August 3 - 5, 2015. Chair of Technical Program Committee for Track: Design Verification and Design for Test.
SummerSim '15: Summer Simulation Multi-Conference, Chicago, Illinois, U.S.A., July 26 - 29, 2015. Chair of Technical Program Committee for Track: Modeling, Simulation, and Test for Cyber-Physical Systems.
UBICOMM '15: Ninth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, Nice, France, July 19 - 24, 2015.
ICIMP '15: Tenth International Conference on Internet Monitoring and Protection, Brussels, Belgium, June 21 - 26, 2015.
ACM-SRC '15: ACM Student Research Competition (SRC) Grand Finals, San Francisco, California, U.S.A., June 20, 2015.
ASEE '15: 122^nd ASEE Annual Conference & Exposition, Seattle, Washington, U.S.A., June 14 - 17, 2015. (Technical Program Committee for the Computing & Information Technology Division)
DAC '15: 52^nd ACM/IEEE Design Automation Conference, San Francisco, California, U.S.A., June 7 - 11, 2015. (Technical Program Committee for SIGDA Ph.D. Forum)
DAC '15: 52^nd ACM/IEEE Design Automation Conference, San Francisco, California, U.S.A., June 7 - 11, 2015. (Technical Program Committee for Designer Track)
DAC '15: 52^nd ACM/IEEE Design Automation Conference, San Francisco, California, U.S.A., June 7 - 11, 2015. (Technical Program Committee for Track ESS3: Embedded System Design Methodologies)
ISCAS '15: IEEE International Symposium on Circuits and Systems, Lisbon, Portugal, May 24 - 27, 2015. (Technical Program Committee for Track 4: Computer-Aided Network Design)
GLSVLSI '15: 25^th ACM Great Lakes Symposium on VLSI, Pittsburgh, Pennsylvania, U.S.A., May 20 - 22, 2015. (Technical Program Committee for the Computer-Aided Design Track)
AIAA-SC '15: AIAA Region III Student Conference, Dayton, Ohio, U.S.A., April 18, 2015.
SAC '15: 30^th ACM Symposium on Applied Computing, Salamanca, Spain, April 13 - 17, 2015. (Technical Program Committee for Track 12: Embedded Systems: New Perspectives for Hardware, System Software, and Applications)
ICST '15: 8^th IEEE International Conference on Software Testing, Verification and Validation, Graz, Austria, April 13 - 17, 2015.
COMPUTATION TOOLS '15: Sixth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking, Nice, France, March 22 - 27, 2015.
SASIMI '15: 19^th Workshop on Synthesis and System Integration of Mixed Information Technologies, Yilan, Taiwan, March 16 - 17, 2015. (Technical Program Committee for the Logic Design Track)
DATE '15: Design, Automation and Test in Europe, Grenoble, France, March 9 - 13, 2015. (Technical Program Committee for: EDAA / ACM SIGDA Ph.D. Forum)
ISQED '15: 16^th IEEE International Symposium on Quality Electronic Design, Santa Clara, California, U.S.A., March 2 - 4, 2015. Co-Chair of Technical Program Committee for Track: Design Verification and Design for Testability.
AAAI '15: Twenty-Ninth Conference on Artificial Intelligence, Austin, Texas, U.S.A., January 25 - 29, 2015.

2014

SECURWARE '14: Eighth International Conference on Emerging Security Information, Systems and Technologies, Lisbon, Portugal, November 16 - 20, 2014.
ICTAI '14: 26^th IEEE International Conference on Tools with Artificial Intelligence, Limassol, Cyprus, November 10 - 12, 2014.
ICAST '14: 6^th IEEE International Conference On Adaptive Science & Technology, Ota, Nigeria, October 29 - 31, 2014.
ICCD '14: 32^nd IEEE International Conference on Computer Design, Seoul, Korea, October 19 - 22, 2014. (Technical Program Committee for the Electronic Design Automation Track)
QSIC '14: 14^th International Conference on Quality Software, Dallas, Texas, U.S.A., October 2 - 3, 2014.
IWSBP '14: 11^th International Workshop on Boolean Problems, Freiberg, Germany, September 17 - 19, 2014.
DSD '14: 17^th EUROMICRO Conference on Digital System Design, Verona, Italy, August 27 - 29, 2014.
UBICOMM '14: Eighth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, Rome, Italy, August 24 - 28, 2014.
ICIMP '14: Ninth International Conference on Internet Monitoring and Protection, Paris, France, July 20 - 24, 2014.
ACM-SRC '14: ACM Student Research Competition (SRC) Grand Finals, San Francisco, California, U.S.A., June 21, 2014.
DAC '14: 51^st Design Automation Conference, San Francisco, California, U.S.A., June 1 - 5, 2014. (Technical Program Committee for the SIGDA Ph.D. Forum)
COMPUTATION TOOLS '14: Fifth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking, Venice, Italy, May 25 - 29, 2014.
GLSVLSI '14: 24^th ACM Great Lakes Symposium on VLSI, Houston, Texas, U.S.A., May 21 - 23, 2014. (Technical Program Committee for the VLSI Design Track)
ICST '14: Seventh IEEE International Conference on Software Testing, Verification and Validation, Cleveland, Ohio, U.S.A., March 31 - April 4, 2014.
DATE '14: Design, Automation and Test in Europe, Dresden, Germany, March 24 - 28, 2014. (Technical Program Committee for: ACM SIGDA / EDAA Ph.D. Forum)
ISQED '14: 15^th IEEE International Symposium on Quality Electronic Design, Santa Clara, California, U.S.A., March 3 - 5, 2014. (Technical Program Committee for the Design Verification and Design for Testability Track)
IEDEC '14: Interdisciplinary Engineering Design Education Conference, Santa Clara, California, U.S.A., March 3, 2014.
ASP-DAC '14: 19^th Asia and South Pacific Design Automation Conference, Singapore, January 20 - 23, 2014. Chair of Technical Program Committee for Track 6: Validation and Verification for Behavioral/Logic Design.

2013

ICCAD '13: 32^nd IEEE/ACM International Conference on Computer-Aided Design, San Jose, California, U.S.A., November 18 - 21, 2013. (Technical Program Committee of Track T2.2: Validation, Simulation, and Verification)
SASIMI '13: 18^th Workshop on Synthesis and System Integration of Mixed Information Technologies, Sapporo, Hokkaido, Japan, October 21 - 22, 2013. (Technical Program Committee for the Logic Design Track)
ICCD '13: 31^st IEEE International Conference on Computer Design, Asheville, North Carolina, U.S.A., October 6 - 9, 2013. (Technical Program Committee for the Logic and Circuit Design Track)
UBICOMM '13: Seventh International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, Porto, Portugal, September 29 - October 3, 2013.
DSD '13: 16^th EUROMICRO Conference on Digital System Design, Santander, Spain, September 4 - 6, 2013.
SECURWARE '13: Seventh International Conference on Emerging Security Information, Systems and Technologies, Barcelona, Spain, August 25 - 31, 2013.
QSIC '13: 13^th International Conference on Quality Software, Nanjing, China, July 29 - 30, 2013.
SARA '13: 10^th Symposium on Abstraction, Reformulation and Approximation, Seattle, Washington, U.S.A., July 11 - 12, 2013.
ICIMP '13: Eighth International Conference on Internet Monitoring and Protection, Rome, Italy, June 23 - 28, 2013.
DAC '13: 50^th Design Automation Conference, Austin, Texas, U.S.A., June 2 - 6, 2013. (Technical Program Committee for the SIGDA Ph.D. Forum)
COMPUTATION TOOLS '13: Fourth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking, Valencia, Spain, May 27 - June 1, 2013.
GLSVLSI '13: 23^rd ACM Great Lakes Symposium on VLSI, Paris, France, May 2 - 4, 2013. (Technical Program Committee for the VLSI Design Track)
DATE '13: Design, Automation and Test in Europe, Grenoble, France, March 18 - 22, 2013. (Technical Program Committee for: ACM SIGDA / EDAA Ph.D. Forum)
SAC '13: 28^th ACM Symposium on Applied Computing, Coimbra, Portugal, March 18 - 22, 2013. (Technical Program Committee for Track 15: Embedded Systems: Across Hardware and Software)
ISQED '13: 14^th IEEE International Symposium on Quality Electronic Design, Santa Clara, California, U.S.A., March 4 - 6, 2013. (Technical Program Committee for the Design Verification and Design for Testability Track)
IEDEC '13: Interdisciplinary Engineering Design Education Conference, Santa Clara, California, U.S.A., March 4 - 5, 2013.
ASP-DAC '13: 18^th Asia and South Pacific Design Automation Conference, Yokohama, Japan, January 22 - 25, 2013. Chair of Technical Program Committee for Track 6: Validation and Verification for Behavioral/Logic Design.

2012

AI '12: 25^th Australasian Joint Conference on Artificial Intelligence, Sydney, Australia, December 4 - 7, 2012.
HLDVT '12: 17^th IEEE International High Level Design, Validation and Test Workshop, Huntington Beach, California, U.S.A., November 9 - 10, 2012.
ICCAD '12: 31^st IEEE/ACM International Conference on Computer-Aided Design, San Jose, California, U.S.A., November 5 - 8, 2012. (Technical Program Committee of the Design for Reliability Track)
SEW-35: 35^th IEEE Software Engineering Workshop, Heraclion, Crete, Greece, October 12 - 13, 2012. A workshop affiliated with the 5^th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA '12), Heraclion, Crete, Greece, October 15 - 18, 2012.
ICCD '12: 30^th IEEE International Conference on Computer Design, Montreal, Canada, September 30 - October 3, 2012. (Technical Program Committee for the Logic and Circuit Design Track)
UBICOMM '12: Sixth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, Barcelona, Spain, September 23 - 28, 2012.
IWSBP '12: 10^th International Workshop on Boolean Problems, Freiberg, Germany, September 19 - 21, 2012.
DSD '12: 15^th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools, Izmir, Turkey, September 5 - 8, 2012.
QSIC '12: 12^th International Conference on Quality Software, Xi'an, China, August 27 - 28, 2012.
SECURWARE '12: Sixth International Conference on Emerging Security Information, Systems and Technologies, Rome, Italy, August 19 - 24, 2012.
COMPUTATION TOOLS '12: Third International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking, Nice, France, July 22 - 27, 2012.
AAAI '12: Twenty-Sixth Conference on Artificial Intelligence, Toronto, Ontario, Canada, July 22 - 26, 2012.
ICIMP '12: Seventh International Conference on Internet Monitoring and Protection, Stuttgart, Germany, May 27 - June 1, 2012.
ISCAS '12: IEEE International Symposium on Circuits and Systems, Seoul, Korea, May 20 - 23, 2012. (Technical Program Committee for Track 4: Computer-Aided Network Design)
GLSVLSI '12: 22^nd ACM Great Lakes Symposium on VLSI, Salt Lake City, Utah, U.S.A., May 3 - 4, 2012. (Technical Program Committee for the VLSI Design Track)
SAC '12: 27^th ACM Symposium on Applied Computing, Trento, Italy, March 25 - 29, 2012. (Technical Program Committee for Track 15: Embedded Systems: Across Hardware and Software)
ISQED '12: 13^th IEEE International Symposium on Quality Electronic Design, Santa Clara, California, U.S.A., March 19 - 21, 2012. (Technical Program Committee for the Design Verification and Design for Testability Track)
IEDEC '12: Interdisciplinary Engineering Design Education Conference, Santa Clara, California, U.S.A., March 19 - 20, 2012.
SASIMI '12: 17^th Workshop on Synthesis and System Integration of Mixed Information Technologies, Oita, Japan, March 8 - 9, 2012. (Technical Program Committee for the Behavioral/Logic/Layout Synthesis Track)
ASP-DAC '12: 17^th Asia and South Pacific Design Automation Conference, Sydney, Australia, January 30 - February 2, 2012. (Technical Program Committee for Track 6: Validation and Verification for Behavioral/Logic Design)
ISAIM '12: 12^th International Symposium on Artificial Intelligence and Mathematics, Ft. Lauderdale, Florida, U.S.A., January 9 - 11, 2012.

2011

DATICS-NESEA '11: Workshop on Design, Analysis, and Tools for Integrated Circuits and Systems, Fremantle, Perth, Australia, December 8 - 9, 2011. A workshop affiliated with the 2^nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications (NESEA '11), Fremantle, Perth, Australia, December 8 - 9, 2011.
AI '11: 24^th Australasian Joint Conference on Artificial Intelligence, Murdoch University, Australia, December 5 - 8, 2011.
UBICOMM '11: Fifth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, Lisbon, Portugal, November 20 - 25, 2011.
HLDVT '11: 16th IEEE International High Level Design, Validation and Test Workshop, Napa Valley, California, U.S.A., November 9 - 11, 2011.
ICCAD '11: 30^th IEEE/ACM International Conference on Computer-Aided Design, San Jose, California, U.S.A., November 6 - 10, 2011. (Technical Program Committee of the Design for Reliability Track)
ICFEM '11: 13^th International Conference on Formal Engineering Methods, Durham, the U. K., October 26 - 28, 2011.
ICCD '11: XXIX IEEE International Conference on Computer Design, University of Massachusetts at Amherst, Massachusetts, U.S.A., October 9 - 12, 2011. (Technical Program Committee for the Logic and Circuits Track)
COMPUTATION TOOLS '11: Second International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking, Rome, Italy, September 25 - 30, 2011.
DSD '11: 14^th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools, Oulu, Finland, August 31 - September 2, 2011.
SECURWARE '11: Fifth International Conference on Emerging Security Information, Systems and Technologies, French Riviera, Nice/Saint Laurent du Var, France, August 21 - 27, 2011.
SARA '11: 9^th Symposium on Abstraction, Reformulation and Approximation, Parador de Cardona, Spain, July 17 - 18, 2011.
SEW-34: 34^th IEEE Software Engineering Workshop, Limerick, Ireland, June 20 - 21, 2011. A workshop affiliated with the 17^th International Symposium on Formal Methods (FM '11), Limerick, Ireland, June 20 - 24, 2011.
QSIC '11: 11^th International Conference on Quality Software, Madrid, Spain, July 13 - 14, 2010.
DAC '11: 47^th Design Automation Conference, San Diego, California, U.S.A., June 5 - 10, 2011. (Technical Program Committee for User Track on Embedded Systems and Software)
ISCAS '11: IEEE International Symposium on Circuits and Systems, Rio de Janeiro, Brazil, May 15 - 18, 2011. (Technical Program Committee for Track 4: Computer-Aided Network Design)
GLSVLSI '11: 21^st ACM Great Lakes Symposium on VLSI, Lausanne, Switzerland, May 2 - 4, 2011. (Technical Program Committee for the VLSI Design Track)
SAC '11: 26^th ACM Symposium on Applied Computing, TaiChung, Taiwan, March 21 - 25, 2011. (Technical Program Committee for Track 17: Embedded Systems: Applications, Solutions, and Techniques)
ICIMP '11: Sixth International Conference on Internet Monitoring and Protection, St. Maarten, The Netherlands Antilles, March 20 - 25, 2011.
ISQED '11: 12^th IEEE International Symposium on Quality Electronic Design, Santa Clara, California, U.S.A., March 14 - 16, 2011. (Technical Program Committee for the Design Verification and Design for Testability Track)
ASP-DAC '11: 16^th Asia and South Pacific Design Automation Conference, Yokohama, Japan, January 25 - 28, 2011. (Technical Program Committee for Track 6: Validation and Verification for Behavioral/Logic Design)

2010

AI '10: 23^rd Australasian Joint Conference on Artificial Intelligence, Adelaide, Australia, December 7 - 10, 2010.
DATICS-NESEA '10: Workshop on Design, Analysis, and Tools for Integrated Circuits and Systems, Suzhou, China, November 25 - 26, 2010. A workshop affiliated with the 1^st IEEE International Conference on Networked Embedded Systems for Enterprise Applications (NESEA '10), Suzhou, China, November 25 - 26, 2010.
SASIMI '10: 16^th Workshop on Synthesis and System Integration of Mixed Information Technologies, Taipei, Taiwan, October 18 - 19, 2010. (Technical Program Committee for the Behavioral/Logic/Layout Synthesis Track)
IWSBP '10: 9^th International Workshop on Boolean Problems, Freiberg, Germany, September 16 - 17, 2010.
DSD '10: 13^th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools, Lille, France, September 1 - 3, 2010.
ASQED '10: Asia Symposium on Quality Electronic Design, Penang, Malaysia, August 3 - 4, 2010.
SECURWARE '10: Fourth International Conference on Emerging Security Information, Systems and Technologies, Venice, Italy, July 18 - 25, 2010.
QSIC '10: 10^th International Conference on Quality Software, Zhangjiajie, China, July 14 - 15, 2010.
DATICS-ICIS '10: Workshop on Design, Analysis, and Tools for Integrated Circuits and Systems, Chengdu, China, June 23 - 25, 2010. A workshop affiliated with the 3^rd International Conference on Information Sciences and Interaction Sciences (ICIS'10), Chengdu, China, June 23 - 25, 2010.
HLDVT '10: 15^th IEEE International High Level Design, Validation and Test Workshop, San Francisco, California, U.S.A., June 11 - 12, 2010.
ISCAS '10: IEEE International Symposium on Circuits and Systems, Paris, France, May 30 - June 2, 2010. (Technical Program Committee for Track 4: Computer-Aided Network Design)
DATICS-FutureTech '10: Workshop on Design, Analysis, and Tools for Integrated Circuits and Systems, Busan, Korea, May 21 - 23, 2010. A workshop affiliated with the 5^th International Conference on Future Information Technology (FutureTech '10), Busan, Korea, May 21 - 23, 2010.
GLSVLSI '10: 20^th ACM Great Lakes Symposium on VLSI, Providence, Rhode Island, U.S.A., May 16 - 18, 2010.
ICIMP '10: Fifth International Conference on Internet Monitoring and Protection, Barcelona, Spain, May 9 - 15, 2010.
ICST '10: Third IEEE International Conference on Software Testing, Verification and Validation, Paris, France, April 6 - 9, 2010.
SAC '10: 25^th Annual ACM Symposium on Applied Computing, Sierre, Switzerland, March 22 - 26, 2010. (Technical Program Committee for Track 17: Embedded Systems: Applications, Solutions, and Techniques)
ISQED '10: 11^th IEEE International Symposium on Quality Electronic Design, San Jose, California, U.S.A., March 22 - 24, 2010. (Technical Program Committee for the Design Verification and Design for Testability Track)
DATICS-IMECS '10: Workshop on Design, Analysis, and Tools for Integrated Circuits and Systems, Hong Kong, March 17 - 19, 2010. A workshop affiliated with the International Multiconference of Engineers and Computer Scientists (IMECS'10), Hong Kong, March 17 - 19, 2010.
DATE '10: Design, Automation and Test in Europe, Dresden, Germany, March 8 - 12, 2010. (Technical Program Committee for Track E5: Embedded Software Applications--Architectures, Tools, and Methodologies)
ASP-DAC '10: 15^th Asia and South Pacific Design Automation Conference, Taipei, Taiwan, January 18 - 21, 2010. (Technical Program Committee for Track 5: Validation and Verification for Behavioral/Logic Design)
ISAIM '10: 11^th International Symposium on Artificial Intelligence and Mathematics, Ft. Lauderdale, Florida, U.S.A., January 6 - 8, 2010.

2009

MTV '09: 10^th International Workshop on Microprocessor Test and Verification, Austin, Texas, U.S.A., December 7 - 8, 2009.
HLDVT '09: 14^th IEEE International High Level Design, Validation and Test Workshop, San Francisco, California, U.S.A., November 4 - 6, 2009.
ICCD '09: XXVII IEEE International Conference on Computer Design, Resort at Squaw Creek, Lake Tahoe, California, U.S.A., October 4 - 7, 2009. (Technical Program Committee for the Logic and Circuit Design Track)
ESCS '09: Workshop on Embedded Systems and Communications Security, Niagara Falls, New York, U.S.A., September 27, 2009. A workshop affiliated with the 28^th International Symposium on Reliable Distributed Systems (SRDS '09), Niagara Falls, New York, U.S.A., September 27 - 30, 2009.
DSD '09: 12^th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools, Patras, Greece, August 27 - 29, 2009.
QSIC '09: 9^th International Conference on Quality Software, Jeju, Korea, August 24 - 25, 2009.
DATICS-ICMS '09: Workshop on Design, Analysis, and Tools for Integrated Circuits and Systems, Istanbul, Turkey, August 4 - 10, 2009. A workshop affiliated with the International Conference of Mathematical Sciences 2009 (ICMS'09), Istanbul, Turkey, August 4 - 10, 2009.
MWSCAS '09: 52^nd IEEE International Midwest Symposium on Circuits and Systems (MWSCAS 2009), Cancun, Mexico, August 2 - 5, 2009. Co-Chair of Technical Program Committee for Track 8: Verification.
SARA '09: Eighth Symposium on Abstraction, Reformulation and Approximation, Lake Arrowhead, California, U.S.A., July 6 - 9, 2009.
SECURWARE '09: Third International Conference on Emerging Security Information, Systems and Technologies, Athens, Greece, June 14 - 19, 2009.
DATICS-ICIEA '09: Design, Analysis, and Tools for Integrated Circuits and Systems, Xi'an, China, May 25 - 27, 2009. A special session in the 4^th IEEE Conference on Industrial Electronics and Applications (ICIEA'09), Xi'an, China, May 25 - 27, 2009.
ICIMP '09: Fourth International Conference on Internet Monitoring and Protection, Venice, Italy, May 24 - 28, 2009.
ISCAS '09: IEEE International Symposium on Circuits and Systems, Taipei, Taiwan, May 24 - 27, 2009. (Technical Program Committee for Track 6: Computer-Aided Network Design)
GLSVLSI '09: 19^th ACM Great Lakes Symposium on VLSI, Boston, Massachusetts, U.S.A., May 10 - 12, 2009.
DATE '09: Design, Automation and Test in Europe, Nice, France, April 20 - 24, 2009. (Technical Program Committee for Track E5: Embedded Software Applications: Tools, Languages, and Methodologies)
ISQED '09: 10^th IEEE International Symposium on Quality Electronic Design, San Jose, California, U.S.A., March 23 - 25, 2009. (Technical Program Committee for the Design Verification and Design for Testability Track)
DATICS-IMECS '09: Design, Analysis, and Tools for Integrated Circuits and Systems, Hong Kong, March 18 - 20, 2009. A special session in the International Multiconference of Engineers and Computer Scientists (IMECS'09), Hong Kong, March 18 - 20, 2009.
SASIMI '09: 15^th Workshop on Synthesis and System Integration of Mixed Information Technologies, Okinawa, Japan, March 9 - 10, 2009. (Technical Program Committee for the Behavioral/Logic/Layout Synthesis Track)
SAC '09: 24^th Annual ACM Symposium on Applied Computing, Honolulu, Hawaii, U.S.A., March 8 - 12, 2009. (Technical Program Committee for Track 9: Computational Intelligence and Image Analysis)
SAC '09: 24^th Annual ACM Symposium on Applied Computing, Honolulu, Hawaii, U.S.A., March 8 - 12, 2009. (Technical Program Committee for Track 19: Embedded Systems: Applications, Solutions, and Techniques)

2008

HLDVT '08: 13^th IEEE International High Level Design, Validation and Test Workshop, Lake Tahoe, Nevada, U.S.A., November 19 - 21, 2008.
VLSI-SOC '08: 16^th IFIP International Conference on Very Large Scale Integration, Rhodes Island, Greece, October 13 - 15, 2008
ICCD '08: XXVI IEEE International Conference on Computer Design, Resort at Squaw Creek, Lake Tahoe, California, U.S.A., October 12 - 15, 2008. (Technical Program Committee for the Logic and Circuit Design Track)
IWSBP '08: 8^th International Workshop on Boolean Problems, Freiberg, Germany, September 18 - 19, 2008.
DSD '08: 11^th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools, Parma, Italy, September 3 - 5, 2008.
SECURWARE '08: Second International Conference on Emerging Security Information, Systems and Technologies, Cap Esterel, France, August 25 - 31, 2008.
DTVCS '08: Design, Testing, and Formal Verification Techniques for Integrated Circuits and Systems, Kailua-Kona, Hawaii, U.S.A., August 18 - 20, 2008. A special session in the IASTED International Conference on Circuits and Systems (CS '08), Kailua-Kona, Hawaii, U.S.A., August 18 - 20, 2008.
MWSCAS '08: 51^st IEEE International Midwest Symposium on Circuits and Systems (MWSCAS 2008), Knoxville, Tennessee, U.S.A., August 10 - 13, 2008. Co-Chair of Technical Program Committee for Track 8: Verification.
STPSA '08: 3^rd IEEE International Workshop on Security, Trust, and Privacy for Software Applications, Turku, Finland, July - August, 2008. In conjunction with 32^nd Annual IEEE International Computer Software and Applications Conference (COMPSAC '08), July 28 - August 1, 2008.
DATICS '08: Design, Analysis, and Tools for Integrated Circuits and Systems, Heraklion, Crete Island, Greece, July 22 - 24, 2008. A special session in the 12^th WSEAS International Conference on CIRCUITS, Heraklion, Crete Island, Greece, July 22 - 24, 2008.
GLSVLSI '08: 18^th ACM Great Lakes Symposium on VLSI, Orlando, Florida, U.S.A., May 4-6, 2008.
ISCAS '08: IEEE International Symposium on Circuits and Systems, Seattle, Washington, U.S.A., May 18 - 21, 2008. (Technical Program Committee for Track 6: Computer-Aided Network Design)
ISQED '08: 9^th IEEE International Symposium on Quality Electronic Design, San Jose, California, U.S.A., March 17 - 19, 2008. (Technical Program Committee for the Design Verification and Design for Testability Track)
SAC '08: 23^rd Annual ACM Symposium on Applied Computing, Fortaleza, Brazil, March 16 - 20, 2008. (Technical Program Committee for Track 10: Computational Logic and Computational Intelligence in Signal and Image Analysis)
SAC '08: 23^rd Annual ACM Symposium on Applied Computing, Fortaleza, Brazil, March 16 - 20, 2008. (Technical Program Committee for Track 23: Embedded Systems: Applications, Solutions, and Techniques)
DATE '08: Design, Automation and Test in Europe, Munich, Germany, March 10-14, 2008. (Technical Program Committee for Track D7: Innovative and Emerging Technologies, Systems, and Applications)
ASP-DAC '08: Asia and South Pacific Design Automation Conference, Seoul, Korea, January 21 - 24, 2008. (Technical Program Committee for Track 4: Validation and Verification for Behavioral/Logic Design)

2007

SECURWARE '07: International Conference on Emerging Security Information, Systems and Technologies, Valencia, Spain, October 14 - 20, 2007.
VLSI-SOC '07: IFIP International Conference on Very Large Scale Integration, Atlanta, Georgia, U.S.A., October 15 - 17, 2007.
SASIMI '07: 14^th Workshop on Synthesis And System Integration of Mixed Information Technologies, Hokkaido, Japan, October 15 - 16, 2007. (Technical Program Committee for the Layout/Logic/Behavioral Synthesis Track)
ICCD '07: XXV IEEE International Conference on Computer Design, Resort at Squaw Creek, Lake Tahoe, California, U.S.A., October 7 - 10, 2007. (Technical Program Committee for the Logic and Circuit Design Track)
DSD '07: 10^th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools, LÃ¼beck, Germany, August 29 - 31, 2007.
MWSCAS-NEWCAS '07: 50^th IEEE International Midwest Symposium on Circuits and Systems (MWSCAS 2007) and 5^th IEEE International NEWCAS Conference (IEEE-NEWCAS 2007), Montreal, Canada, August 5 - 8, 2007. Co-Chair of Technical Program Committee for Track 16: Characterization and Testing.
STPSA '07: 2^nd IEEE International Workshop on Security, Trust, and Privacy for Software Applications, Beijing, China, July 23, 2007. In conjunction with 31^st Annual IEEE International Computer Software and Applications Conference (COMPSAC '07), July 23 - 27, 2007.
SARA '07: Seventh Symposium on Abstraction, Reformulation and Approximation, Whistler, British Columbia, Canada, July 18 - 21, 2007.
ICGD&BC '07: First International Conference on Global Defense and Business Continuity, Silicon Valley, California, U.S.A., July 1 - 6, 2007. (Technical Program Committee for the track TRUST: Privacy and Trust in Pervasive Communications)
ISCAS '07: IEEE International Symposium on Circuits and Systems, New Orleans, Louisiana, U.S.A., May 27 - 30, 2007. (Technical Program Committee for Track 5: Circuits and Systems for Communications)
ISCAS '07: IEEE International Symposium on Circuits and Systems, New Orleans, Louisiana, U.S.A., May 27 - 30, 2007. (Technical Program Committee for Track 6: Computer-Aided Network Design)
ISVLSI '07: IEEE Computer Society Annual Symposium on VLSI, Porto Alegre, Brazil, May 9-11, 2007.
ITNG '07: 4^th International Conference on Information Technology: New Generations, Las Vegas, Nevada, U.S.A., April 2 - 4, 2007. (Technical Program Committee for the Pervasive Computing Track)
ITNG '07: 4^th International Conference on Information Technology: New Generations, Las Vegas, Nevada, U.S.A., April 2 - 4, 2007. (Technical Program Committee for the Graphs & Interconnection Networks Track)
ISQED '07: 8^th IEEE International Symposium on Quality Electronic Design, San Jose, California, U.S.A., March 26 - 28, 2007. (Technical Program Committee for the Design Verification and Design for Testability Track)
SAC '07: 22^nd Annual ACM Symposium on Applied Computing, Seoul, Korea, March 11 - 15, 2007. (Technical Program Committee for Track 1: Artificial Intelligence, Computational Logic, and Image Analysis)
SAC '07: 22^nd Annual ACM Symposium on Applied Computing, Seoul, Korea, March 11 - 15, 2007. (Technical Program Committee for Track 4: Autonomic Computing)
SAC '07: 22^nd Annual ACM Symposium on Applied Computing, Seoul, Korea, March 11 - 15, 2007. (Technical Program Committee for Track 20: Embedded Systems: Applications, Solutions, and Techniques)
GLSVLSI '07: 17^th ACM Great Lakes Symposium on VLSI, Stresa-Lago Maggiore, Italy, March 11 - 13, 2007.

2006

PRDC '06: 12^th IEEE International Symposium Pacific Rim Dependable Computing, Riverside, California, U.S.A., December 18 - 20, 2006.
MTV '06: 7^th International Workshop on Microprocessor Test and Verification, Austin, Texas, U.S.A., December 4 - 5, 2006.
CASES '06: International Conference on Compilers, Architectures, and Synthesis for Embedded Systems, Seoul, Korea, October 23 - 25, 2006.
VLSI-SOC '06: IFIP International Conference on Very Large Scale Integration, Nice, France, October 16 - 18, 2006.
IWSBP '06: 7^th International Workshop on Boolean Problems, Freiberg, Germany, September 21-22, 2006.
SPTPA '06: International Workshop on Security, Privacy, and Trust for Pervasive Applications, in association with the 30^th Annual International Computer Software and Applications Conference (COMPSAC'06), Chicago, Illinois, U.S.A., September 18-21, 2006.
DSD '06: 9^th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools, Cavtat, Croatia, August 30 - September 1, 2006.
SAT '06: Ninth International Conference on Theory and Applications of Satisfiability Testing, Seattle, Washington, U.S.A., August 12-15, 2006.
PRICAI '06: Ninth Pacific Rim International Conference on Artificial Intelligence, Guilin, China, August 7-11, 2006.
AAAI '06: Twenty-First National Conference on Artificial Intelligence, Boston, Massachusetts, U.S.A., July 16-20, 2006.
CSR '06: International Computer Science Symposium in Russia, St. Petersburg, Russia, June 8-12, 2006.
ISCAS '06: IEEE International Symposium on Circuits and Systems, Island of Kos, Greece, May 21-24, 2006. (Technical Program Committee for Track 5: Circuits and Systems for Communications)
ISCAS '06: IEEE International Symposium on Circuits and Systems, Island of Kos, Greece, May 21-24, 2006. (Technical Program Committee for Track 6: Computer-Aided Network Design)
GLSVLSI '06: 16^th Great Lakes Symposium on VLSI, Philadelphia, Pennsylvania, U.S.A., April 30 - May 2, 2006.
SAC '06: 21^st Annual ACM Symposium on Applied Computing, Dijon, France, April 23-27, 2006. (Technical Program Committee for Track 1: Artificial Intelligence, Computational Logic, and Image Analysis)
SAC '06: 21^st Annual ACM Symposium on Applied Computing, Dijon, France, April 23-27, 2006. (Technical Program Committee for Track 19: Embedded Systems: Applications, Solutions, and Techniques)
ITNG '06: Third International Conference on Information Technology: New Generations, Las Vegas, Nevada, U.S.A., April 10-12, 2006.
SASIMI '06: 13^th Workshop on Synthesis And System Integration of Mixed Information Technologies, Nagoya, Japan, April 3-4, 2006. (Technical Program Committee for the Layout/Logic/Behavioral Synthesis Track)
ISQED '06: 7^th IEEE International Symposium on Quality Electronic Design, San Jose, California, U.S.A., March 27-29, 2006. (Technical Program Committee for the Design Verification and Design for Testability Track)
PerCSA '06: International Workshop on Pervasive Computing Systems & Application, March 2006, in association with the 4^th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'06), Dubai/Sharjah, United Arab Emirates, March 8-11, 2006.
DATE '06: Design, Automation and Test in Europe, Munich, Germany, March 6-10, 2006. (Technical Program Committee for Track B2: Simulation and Validation)
ISVLSI '06: IEEE Computer Society Annual Symposium on VLSI, Karlsruhe, Germany, March 2-3, 2006.

2005

PRDC '05: 11^th Pacific Rim International Symposium on Dependable Computing, Changsha, Hunan, China, December 12-14, 2005.
IP/SOC '05: 14^th IP Based SoC Design Forum & Exhibition, Grenoble, France, December 7-8, 2005.
HLDVT '05: 10^th IEEE International High Level Design Validation and Test Workshop, Napa Valley, California, U.S.A., November 30 - December 2, 2005.
BCI '05: 2^nd Balkan Conference in Informatics, Ohrid, Macedonia, November 17-19, 2005.
SEEFM '05: 2^nd South-East European Workshop on Formal Methods, Ohrid, Macedonia, November 18-19, 2005.
ISOCC '05: International SoC Design Conference, Seoul, Korea, October 20 - 21, 2005. Co-Chair of Technical Program Committee for Track 9: SoC Testing and Verification.
ASICON '05: 6^th International Conference on ASIC, Shanghai, China, October 17-20, 2005.
VLSI-SOC '05: 14^th IFIP International Conference on Very Large Scale Integration, Perth, Australia, October 17-19, 2005.
CHARME '05: 13^th Advanced Research Working Conference on Correct Hardware Design and Verification Methods, Saarbrucken, Germany, October 3-6, 2005.
MASCOTS '05: 13^th Annual IEEE/ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Atlanta, Georgia, U.S.A., September 27-29, 2005.
CASES '05: International Conference on Compilers, Architectures, and Synthesis for Embedded Systems, San Francisco, California, U.S.A., September 2005.
CTCES '05: Workshop on Compilers and Tools for Constrained Embedded Systems, San Francisco, California, U.S.A., September 2005. A workshop affiliated with the International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES '05), San Francisco, California, U.S.A., September 2005.
FTP '05: International Workshop on First-Order Theorem Proving, Koblenz, Germany, September 2005. A workshop affiliated with the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX '05), Koblenz, Germany, September 11-14, 2005.
MTV '05: Microprocessor Test and Verification, Austin, Texas, U.S.A., September 2005.
DSD '05: 8^th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools, Porto, Portugal, August 30 - September 3, 2005.
ICSEng '05: 18^th International Conference on Systems Engineering, Las Vegas, Nevada, August 16-18, 2005.
MWSCAS '05: 48^th IEEE International Midwest Symposium on Circuits and Systems, Cincinnati, Ohio, U.S.A., August 7-10, 2005.
SARA '05: Symposium on Abstraction, Reformulation and Approximation, Edinburgh, Scotland, U.K., July 26-29, 2005.
CADE-20: 20^th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005.
IWSOC '05: 5^th IEEE International Workshop on System-on-Chip for Real-Time Applications, Banff, Alberta, Canada, July 20-24, 2005.
AAAI '05: Twentieth National Conference on Artificial Intelligence, Pittsburgh, Pennsylvania, U.S.A., July 9-13, 2005.
MSE '05: International Conference on Microelectronic Systems Education, Anaheim, California, U.S.A., June 12-13, 2005.
ISCAS '05: IEEE International Symposium on Circuits and Systems, Kobe, Japan, May 23-26, 2005. (Technical Program Committee for Track 5: Circuits and Systems for Communications)
ISCAS '05: IEEE International Symposium on Circuits and Systems, Kobe, Japan, May 23-26, 2005. (Technical Program Committee for Track 6: Computer-Aided Network Design)
ISVLSI '05: IEEE Computer Society Annual Symposium on VLSI, Tampa, Florida, U.S.A., May 11-12, 2005.
ITCC '05: International Conference on Information Technology, Las Vegas, Nevada, U.S.A., April 11-13, 2005. (Technical Program Committee for the Pervasive Computing Track)
CEES '05: Continuous Engineering of Embedded Systems, Edinburgh, Scotland, U.K., April 9, 2005. A workshop affiliated with the European Joint Conferences on Theory and Practice of Software (ETAPS '05), Edinburgh, Scotland, U.K., April 2-10, 2005.
ISQED '05: 6^th IEEE International Symposium on Quality Electronic Design, San Jose, California, U.S.A., March 28-30, 2005. (Technical Program Committee for the System Level Design, Methodologies and Tools Track)
SAC '05: 20^th Annual ACM Symposium on Applied Computing, Santa Fe, New Mexico, U.S.A., March 13-17, 2005. (Technical Program Committee for Track 1: Artificial Intelligence, Computational Logic, and Image Analysis)
DATE '05: Design, Automation and Test in Europe, Munich, Germany, March 7-11, 2005. (Technical Program Committee for Track B3: System Synthesis and Optimization)
RTAS '05: 11^th IEEE Real-Time and Embedded Technology and Applications Symposium, San Francisco, California, U.S.A., March 7-10, 2005.
ASP-DAC '05: Asia and South Pacific Design Automation Conference, Shanghai, China, January 18-21, 2005. (Technical Program Committee for Track 1: System Level Design Methodology)
ASP-DAC '05: Asia and South Pacific Design Automation Conference, Shanghai, China, January 18-21, 2005. (Technical Program Committee for Track 3: Behavioral / Logic Synthesis and Optimization)
VLSI Design '05: 18^th International Conference on VLSI Design and 4th International Conference on Embedded Systems, Kolkata, India, January 3-7, 2005.

2004

IP/SOC '04: 13^th IP Based SoC Design Forum & Exhibition, Grenoble, France, December 8-9, 2004.
ICTAC '04: International Colloquium on Theoretical Aspects of Computing, Guiyang, China, September 20-24, 2004.
CTCES '04: Workshop on Compilers and Tools for Constrained Embedded Systems, Washington D.C., U.S.A., September 22, 2004. A workshop affiliated with the International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES '04), Washington D.C., U.S.A., September 23-25, 2004.
MTV '04: Microprocessor Test and Verification, Austin, Texas, U.S.A., September 9-10, 2004.
DSD '04: EUROMICRO Symposium on Digital System Design: Architectures, Methods and Tools, Rennes, France, August 31 - September 3, 2004.
AAAI '04: Nineteenth National Conference on Artificial Intelligence, San Jose, California, U.S.A., July 25-29, 2004.
ISCAS '04: IEEE International Symposium on Circuits and Systems, Vancouver, British Columbia, Canada, May 23-26, 2004. (Technical Program Committee for Track 6.6: Advances in Formal Verification)
SAT '04: Seventh International Conference on Theory and Applications of Satisfiability Testing, Vancouver, British Columbia, Canada, May 10-13, 2004.

2003

ICCD '03: International Conference on Computer Design, San Jose, California, U.S.A., October 13-15, 2003. (Technical Program Committee for the Tools and Methodology Track)
DSD '03: EUROMICRO Symposium on Digital System Design, Antalya, Turkey, September 3-5, 2003.
PDPAR '03: Pragmatics of Decision Procedures in Automated Reasoning, a workshop affiliated with CADE-19, Miami, Florida, U.S.A., July 28-29, 2003.
MEMOCODE '03: First ACM & IEEE International Conference on Formal Methods and Models for Codesign, Mont Saint-Michel, France, June 24-26, 2003.
MTV '03: Microprocessor Test and Verification, Austin, Texas, U.S.A., May 29-30, 2003.
SAT '03: Sixth International Conference on Theory and Applications of Satisfiability Testing, S. Margherita Ligure - Portofino, Italy, May 5-8, 2003.

2002

ICCD '02: International Conference on Computer Design, Freiburg, Germany, September 16-18, 2002. (Technical Program Committee for the Tools and Methodology Track)
MTV '02: Microprocessor Test and Verification, Austin, Texas, U.S.A., June 6-7, 2002.
SAT '02: Fifth International Symposium on the Theory and Applications of Satisfiability Testing, Cincinnati, Ohio, U.S.A., May 6-9, 2002.

2001

DEL '01: Design Environments and Languages, a workshop within the Forum on Design Languages (FDL '01), Lyon, France, September 2001.

Special Session Organizer

ISAIM '18, Special Session on Applications of SAT
15^th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida, U.S.A., January 3 - 5, 2018.
ISAIM '16, Special Session on Applications of SAT
14^th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida, U.S.A., January 4 - 6, 2016.
ICCAD '14, Special Session on Advances in Debug and Formal Verification
33^rd IEEE/ACM International Conference on Computer-Aided Design, San Jose, California, U.S.A., November 3 - 6, 2014.
MWSCAS '05, Special Session on Advances in CAD for VLSI
48^th IEEE International Midwest Symposium on Circuits and Systems, Cincinnati, Ohio, U.S.A., August 7 - 10, 2005.
MTV '04, Special Session on SAT
Microprocessor Test and Verification (MTV '04), Austin, Texas, U.S.A., September 8 - 10, 2004.
MTV '03, Special Session on SAT and ATPG Engines
Microprocessor Test and Verification (MTV '03), Austin, Texas, U.S.A., May 29 - 30, 2003.
MTV '02, Special Session on SAT and ATPG Solvers for Verification
Microprocessor Test and Verification (MTV '02), Austin, Texas, U.S.A., June 6 - 7, 2002.

Session Chair

AI4I '23, Session 8: Data Analysis
Sixth IEEE International Conference on Artificial Intelligence for Industries, Laguna Hills, CA, U.S.A. and Virtual, September 25 - 27, 2023.
AVIATION '23, Session UAS-09: Autonomy for Advanced Air Mobility Systems & Systems Design
23^rd AIAA Aviation and Aeronautics Forum and Exposition, San Diego, California, U.S.A. & Online, June 12 - 16, 2023.
AVIATION '23, Session DE-05: Design Engineering Virtual Session
23^rd AIAA Aviation and Aeronautics Forum and Exposition, San Diego, California, U.S.A. & Online, June 12 - 16, 2023.
AVIATION '23, Session ATM-03: Enabling Growth Within Aerospace Traffic Management Operations
23^rd AIAA Aviation and Aeronautics Forum and Exposition, San Diego, California, U.S.A. & Online, June 12 - 16, 2023.
SciTech '23, Session SE-03: System Design and Simulation
2023 Science and Technology Forum and Exposition, National Harbor, Maryland, U.S.A., and Online, January 23 - 27, 2023.
SciTech '23, Session IS-15: Autonomy I
2023 Science and Technology Forum and Exposition, National Harbor, Maryland, U.S.A., and Online, January 23 - 27, 2023.
PRICAI '22, Session 3: Data Mining and Knowledge Discovery
19^th Pacific Rim International Conference on Artificial Intelligence, Shanghai, China, and Virtual, November 10 - 13, 2022.
ICCAD '22, Session 5A: Breakthroughs in Synthesis - Infrastructure and ML Assist I
41^st IEEE/ACM International Conference on Computer-Aided Design, San Diego, California, U.S.A., and Virtual, October 30 - November 4, 2022.
ASCEND '22, Session TECH.EXPL-27: In-Space Autonomy and Reliability
AIAA Accelerating Space Commerce, Exploration, and New Discovery Forum, Las Vegas, NV, U.S.A. and Virtual, October 24 - 26, 2022.
ASCEND '22, Session TECH.EXPL-08: Challenges in Cislunar Space
AIAA Accelerating Space Commerce, Exploration, and New Discovery Forum, Las Vegas, NV, U.S.A. and Virtual, October 24 - 26, 2022.
ASCEND '22, Session TECH.SEC-01: Cybersecurity Frameworks and Architectures for Operational Systems I
AIAA Accelerating Space Commerce, Exploration, and New Discovery Forum, Las Vegas, NV, U.S.A. and Virtual, October 24 - 26, 2022.
AI4I '22, Session 11: Applications
Fifth IEEE International Conference on Artificial Intelligence for Industries, Laguna Hills, CA, U.S.A. and Virtual, September 19 - 21, 2022.
AI4I '22, Session 5: Deep Learning and Computer Vision
Fifth IEEE International Conference on Artificial Intelligence for Industries, Laguna Hills, CA, U.S.A. and Virtual, September 19 - 21, 2022.
AI4I '22, Session 2: Machine Learning and Recommender Systems
Fifth IEEE International Conference on Artificial Intelligence for Industries, Laguna Hills, CA, U.S.A. and Virtual, September 19 - 21, 2022.
MWSCAS '22, Session: Hardware Design II
65^th IEEE International Midwest Symposium on Circuits and Systems, Virtual Event, August 7 - 10, 2022.
MWSCAS '22, Session: AI & IoT III
65^th IEEE International Midwest Symposium on Circuits and Systems, Virtual Event, August 7 - 10, 2022.
MWSCAS '22, Session: AI & IoT II
65^th IEEE International Midwest Symposium on Circuits and Systems, Virtual Event, August 7 - 10, 2022.
MWSCAS '22, Session: AI & IoT I
65^th IEEE International Midwest Symposium on Circuits and Systems, Virtual Event, August 7 - 10, 2022.
AVIATION '22, Session ATM-08: Air Traffic Management Architecture and Performance
22^nd AIAA Aviation Technology, Integration, and Operations Conference, Chicago, Illinois, U.S.A. & Online, June 27 - July 1, 2022.
AVIATION '22, Session CPS-01: Advances in Computer Systems for Aerospace Applications
22^nd AIAA Aviation Technology, Integration, and Operations Conference, Chicago, Illinois, U.S.A. & Online, June 27 - July 1, 2022.
ISQED '22, Session 1C: Testing and Formal Verification of Circuits
23^rd IEEE International Symposium on Quality Electronic Design, Virtual Event, April 6 - 8, 2022.
SciTech '22, Session SCITECH-04: Other Topics in Aerospace IV
2022 AIAA SciTech Forum, Virtual Event and Live in San Diego, CA, U.S.A., January 3 - 7, 2022.
SciTech '22, Session IS-42: Learning, Reasoning, and Data Driven Systems II
2022 AIAA SciTech Forum, Virtual Event and Live in San Diego, CA, U.S.A., January 3 - 7, 2022.
SciTech '22, Session IS-41: Adaptive and Intelligent Control Systems II
2022 AIAA SciTech Forum, Virtual Event and Live in San Diego, CA, U.S.A., January 3 - 7, 2022.
SciTech '22, Session CPS-02: Advances in Computer Systems for Aerospace Applications II
2022 AIAA SciTech Forum, Virtual Event and Live in San Diego, CA, U.S.A., January 3 - 7, 2022.
ASCEND '21, Session TECH.ATM-01: Aerospace Traffic Management I
AIAA Accelerating Space Commerce, Exploration, and New Discovery Forum, Virtual Event and Live in Las Vegas, NV, and Washington, DC, U.S.A., November 8 - 17, 2021.
ASCEND '21, Session TECH.SOF-01: Modeling and Analysis Tools
AIAA Accelerating Space Commerce, Exploration, and New Discovery Forum, Virtual Event and Live in Las Vegas, NV, and Washington, DC, U.S.A., November 8 - 17, 2021.
PRICAI '21, Session: Applications of AI 1
18^th Pacific Rim International Conference on Artificial Intelligence, Virtual Event, November 8 - 12, 2021.
AI4I '21, Session 10: Monitoring Indoor and Outdoor Environments
Fourth IEEE International Conference on Artificial Intelligence for Industries, Virtual Event, September 20 - 22, 2021.
AI4I '21, Session 7: Deep Learning and Reinforcement Learning
Fourth IEEE International Conference on Artificial Intelligence for Industries, Virtual Event, September 20 - 22, 2021.
AVIATION '21, Session CS-04: A Case Study on PKI and Signed Parts—ICS Has Yet to Follow
21^st AIAA Aviation Technology, Integration, and Operations Conference, Virtual Event, August 2 - 6, 2021.
AVIATION '21, Session CS-03: Computer Systems
21^st AIAA Aviation Technology, Integration, and Operations Conference, Virtual Event, August 2 - 6, 2021.
AVIATION '21, Session CS-02: Cyber Security and Information Assurance
21^st AIAA Aviation Technology, Integration, and Operations Conference, Virtual Event, August 2 - 6, 2021.
AVIATION '21, Session CS-01: The Cyber Resiliency Level™ Model Exposed: A Tutorial of the Lockheed Martin CRL Model
21^st AIAA Aviation Technology, Integration, and Operations Conference, Virtual Event, August 2 - 6, 2021.
AVIATION '21, Session ATM-01: Separation Assurance
21^st AIAA Aviation Technology, Integration, and Operations Conference, Virtual Event, August 2 - 6, 2021.
ISVLSI '21, Session 2: Computer Aided Design and Verification (CAD)
IEEE Computer Society Annual Symposium on VLSI, Virtual Event, July 7 - 9, 2021.
SciTech '21, Session CPS-02: Computing Systems II
2021 AIAA SciTech Forum, Virtual Event, January 11 - 21, 2021.
SciTech '21, Session CPS-01: Computing Systems I
2021 AIAA SciTech Forum, Virtual Event, January 11 - 21, 2021.
AI4I '20, Session 11: Temporal Data Analysis
Third IEEE International Conference on Artificial Intelligence for Industries, Virtual Event, September 21 - 23, 2020.
HCCAI '20, Session 12: Learning
Second IEEE International Conference on Humanized Computing and Communication with Artificial Intelligence, Virtual Event, September 21 - 23, 2020.
TransAI '20, Session 6: Invited Papers I
Second IEEE International Conference on Transdisciplinary AI, Virtual Event, September 21 - 23, 2020.
AVIATION '20, Session CPS-03: Aviation Cybersecurity Framework
20^th AIAA Aviation Technology, Integration, and Operations Conference, Virtual Event, June 15 - 19, 2020.
AVIATION '20, Session CPS-02: Autonomous, Proactive, and Intelligent Cyber Defense for Aviation
20^th AIAA Aviation Technology, Integration, and Operations Conference, Virtual Event, June 15 - 19, 2020.
AVIATION '20, Session CPS-01: Advances in Computer Systems for Aviation
20^th AIAA Aviation Technology, Integration, and Operations Conference, Virtual Event, June 15 - 19, 2020.
ICCD '19, Keynote Talk by Rob Aitken (Arm, U.S.A.): Innovation after Moore's Law
37^th IEEE International Conference on Computer Design, Abu Dhabi, U.A.E., November 17 - 20, 2019.
ICCD '18, Session 10B: FPGA and Machine Learning
36^th IEEE International Conference on Computer Design, Orlando, Florida, U.S.A., October 7 - 10, 2018.
ICCD '18, Session 9B: Potpouri 2
36^th IEEE International Conference on Computer Design, Orlando, Florida, U.S.A., October 7 - 10, 2018.
ICCD '18, Session 8B: Test and Verification
36^th IEEE International Conference on Computer Design, Orlando, Florida, U.S.A., October 7 - 10, 2018.
SPACE '18, Session IS-03: Cyber Security and Information and Command and Control Systems
AIAA Space and Astronautics Forum and Exposition, Orlando, Florida, U.S.A., September 17 - 19, 2018.
SPACE '18, Session IS-02: Intelligent Systems
AIAA Space and Astronautics Forum and Exposition, Orlando, Florida, U.S.A., September 17 - 19, 2018.
AVIATION '18, Session CPS-01: Advances in Computer Systems for Aviation
18^th AIAA Aviation Technology, Integration, and Operations Conference, Atlanta, Georgia, U.S.A., June 25 - 29, 2018.
ISAIM '18, Main Track Session 5
15^th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida, U.S.A., January 3 - 5, 2018.
ICCAD '17, Session 1A: Advanced Caching and In-Memory Processing
36^th IEEE/ACM International Conference on Computer-Aided Design, Irvine, California, U.S.A., November 13 - 16, 2017.
ICCD '17, Session 9A: Architecture and Microarchitecture Optimizations
35^th IEEE International Conference on Computer Design, Newton, Massachusetts, U.S.A., November 5 - 8, 2017.
ICCD '17, Session 8B: Cloud and Storage Solutions
35^th IEEE International Conference on Computer Design, Newton, Massachusetts, U.S.A., November 5 - 8, 2017.
DASC '17, Session CSS-4: CNS/ATM Security
36^th IEEE/AIAA Digital Avionics Systems Conference, St. Petersburg, Florida, U.S.A., September 17 - 21, 2017.
DASC '17, Session CSS-3: Cyber-Physical System Design
36^th IEEE/AIAA Digital Avionics Systems Conference, St. Petersburg, Florida, U.S.A., September 17 - 21, 2017.
DAC '17, Session 40: New Frontiers in Formal Verification
54^th ACM/IEEE Design Automation Conference, Austin, Texas, U.S.A., June 18 - 22, 2017.
AVIATION '17, Session CPS-01: Advances in Computer Systems for Aviation
17^th AIAA Aviation Technology, Integration, and Operations Conference, Denver, Colorado, U.S.A., June 5 - 9, 2017.
ISCAS '17, Session A1L-L: Wireless Communication Receivers for 5G
50^th IEEE International Symposium on Circuits and Systems, Baltimore, Maryland, U.S.A., May 28 - 31, 2017.
GLSVLSI '17, Keynote 3 by Dr. Andrew Putnam (Microsoft Research Technologies, U.S.A.): FPGAs in the Datacenter—Combining the Worlds of Hardware and Software Development
27^th ACM Great Lakes Symposium on VLSI, Banff, Alberta, Canada, May 2017.
GLSVLSI '17, Session 3: Strategies for In-Memory Computing
27^th ACM Great Lakes Symposium on VLSI, Banff, Alberta, Canada, May 2017.
HLDVT '16, Keynote Talk by Prof. John P. Hayes (University of Michigan, U.S.A.): Designing Fast and Accurate Stochastic Circuits
18^th IEEE International High-Level Design Validation and Test Workshop, Santa Cruz, California, U.S.A., October 2016.
DAC '16, Session 14: Preventing and Exploiting Errors
53^rd ACM/IEEE Design Automation Conference (DAC '16), Austin, Texas, U.S.A., June 5 - 9, 2016.
ISCAS '16, Session A2L-A: NoC Multicores I
IEEE International Symposium on Circuits and Systems (ISCAS '16), Montreal, Quebec, Canada, May 22 - 25, 2016.
GLSVLSI '16, Session 9: CAD 2
26^th ACM Great Lakes Symposium on VLSI (GLSVLSI '16), Boston, Massachusetts, U.S.A., May 18 - 20, 2016.
ICST '16, Session: Tool Demos
9^th IEEE International Conference on Software Testing, Verification and Validation, Chicago, Illinois, U.S.A., April 10 - 15, 2016.
ICST '16, Session: Industry Track Papers
9^th IEEE International Conference on Software Testing, Verification and Validation, Chicago, Illinois, U.S.A., April 10 - 15, 2016.
ISAIM '16, Main Track Session 5
14^th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida, U.S.A., January 4 - 6, 2016.
ICCAD '15, Session 9A: Make or Break—Synthesis, Simulation and Post-Silicon Validation
34^th IEEE/ACM International Conference on Computer-Aided Design (ICCAD '15), Austin, Texas, U.S.A., November 2 - 6, 2015.
CFV '15, Session 1: Invited Talk of Corina Pasareanu from the NASA Ames Research Center
Ninth International Workshop on Constraints in Formal Verification (CFV '15), Austin, Texas, U.S.A., November 5, 2015.
A workshop affiliated with the 34^th IEEE/ACM International Conference on Computer-Aided Design (ICCAD '15), Austin, Texas, U.S.A., November 2 - 6, 2015.
SummerSim '15, Session: Student Colloquium Presentations
Summer Simulation Multi-Conference, Chicago, Illinois, U.S.A., July 26 - 29, 2015.
DAC '15, Session 56: It's Time in Embedded Systems
52^nd ACM/IEEE Design Automation Conference (DAC '15), San Francisco, California, U.S.A., June 7 - 11, 2015.
GLSVLSI '15, Session: CAD and Circuits II
25^th ACM Great Lakes Symposium on VLSI (GLSVLSI '15), Pittsburgh, Pennsylvania, U.S.A., May 20 - 22, 2015.
GLSVLSI '15, Session: Interconnects and NoCs
25^th ACM Great Lakes Symposium on VLSI (GLSVLSI '15), Pittsburgh, Pennsylvania, U.S.A., May 20 - 22, 2015.
ISQED '15, Session 2C: BIST and Scan Testing
16^th IEEE International Symposium on Quality Electronic Design (ISQED '15), Santa Clara, California, U.S.A., March 2 - 4, 2015.
AAAI '15, Session: Heuristic Search and Optimization 3
Twenty-Ninth Conference on Artificial Intelligence (AAAI '15), Austin, Texas, U.S.A., January 25 - 29, 2015.
AAAI '15, Session: Search and Constraint Satisfaction 2
Twenty-Ninth Conference on Artificial Intelligence (AAAI '15), Austin, Texas, U.S.A., January 25 - 29, 2015.
AAAI '15, Session: AI and the Web 7
Twenty-Ninth Conference on Artificial Intelligence (AAAI '15), Austin, Texas, U.S.A., January 25 - 29, 2015.
AAAI '15, Session: AI and the Web 6
Twenty-Ninth Conference on Artificial Intelligence (AAAI '15), Austin, Texas, U.S.A., January 25 - 29, 2015.
ICCAD '14, Session 5A: Advanced Verification and Diagnosis Techniques
33^rd IEEE/ACM International Conference on Computer-Aided Design (ICCAD '14), San Jose, California, U.S.A., November 3 - 6, 2014.
SRC@ICCAD '14, Session: Final Round of Presentations
ACM Student Research Competition (SRC) at ICCAD, San Jose, California, U.S.A., November 3 - 4, 2014.
Affiliated with the 33^rd IEEE/ACM International Conference on Computer-Aided Design, San Jose, California, U.S.A., November 3 - 6, 2014.
AAAI '14, Session 45D: Planning and Scheduling
Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI '14), Quebec City, Quebec, Canada, July 27 - 31, 2014.
AAAI '14, Session 42C: Search and Constraint Satisfaction
Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI '14), Quebec City, Quebec, Canada, July 27 - 31, 2014.
AAAI '14, Session 40F: Heuristic Search and Optimization
Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI '14), Quebec City, Quebec, Canada, July 27 - 31, 2014.
AAAI '14, Session 31E: AI and the Web / Vision
Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI '14), Quebec City, Quebec, Canada, July 27 - 31, 2014.
AAAI '14, Session 28E: AI and the Web
Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI '14), Quebec City, Quebec, Canada, July 27 - 31, 2014.
AAAI '14, Session 27B: Knowledge Representation and Reasoning / Applications
Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI '14), Quebec City, Quebec, Canada, July 27 - 31, 2014.
AAAI '14, Session 18B: Knowledge Representation and Reasoning
Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI '14), Quebec City, Quebec, Canada, July 27 - 31, 2014.
AAAI '14, Session 12F: Human-Computation and Crowd Sourcing
Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI '14), Quebec City, Quebec, Canada, July 27 - 31, 2014.
ISQED '14, Session 4C: New Ideas in Circuit Design
15^th IEEE International Symposium on Quality Electronic Design (ISQED '14), Santa Clara, California, U.S.A., March 3 - 5, 2014.
IEDEC '14, Session A: Technical Paper Presentations
Interdisciplinary Engineering Design Education Conference (IEDEC '14), Santa Clara, California, U.S.A., March 3, 2014.
ICCAD '13, Session 9B: Formal and Symbolic Verification
32^nd IEEE/ACM International Conference on Computer-Aided Design (ICCAD '13), San Jose, California, U.S.A., November 18 - 21, 2013.
CFV '13, Session 1: Invited Talk of Thomas Ball from Microsoft
Eighth International Workshop on Constraints in Formal Verification (CFV '13), San Jose, California, U.S.A., November 21, 2013.
A workshop affiliated with the 32^nd IEEE/ACM International Conference on Computer-Aided Design (ICCAD '13), San Jose, California, U.S.A., November 18 - 21, 2013.
ASP-DAC '13, Session 8D: Advances in Simulation and Formal Verification
18^th Asia and South Pacific Design Automation Conference (ASP-DAC '13), Yokohama, Japan, January 22 - 25, 2013.
HLDVT '12, Session 2: System-Level Modeling
17^th IEEE International High Level Design Validation and Test Workshop (HLDVT '12), Huntington Beach, California, U.S.A., November 9 - 10, 2012.
ICCAD '12, Session 5B: Reliability and Thermal Issues in 3D ICs
31^st IEEE/ACM International Conference on Computer-Aided Design (ICCAD '12), San Jose, California, U.S.A., November 5 - 8, 2012.
ICCAD '11, Session 6C: Robustness and Variability
30^th IEEE/ACM International Conference on Computer-Aided Design (ICCAD '11), San Jose, California, U.S.A., November 6 - 10, 2011.
CFV '11, Session 1: Invited Talk of Carl Seger from Intel
Seventh International Workshop on Constraints in Formal Verification (CFV '11), San Jose, California, U.S.A., November 10, 2011.
A workshop affiliated with the 30^th IEEE/ACM International Conference on Computer-Aided Design (ICCAD '11), San Jose, California, U.S.A., November 6 - 10, 2011.
SARA '11, Session 3: Space-Time
9^th Symposium on Abstraction, Reformulation and Approximation, Parador de Cardona, Spain, July 17 - 18, 2011.
DAC '11, User Track on Embedded Systems and Software, Session 3U: Case Studies in Systems and Software
47^th Design Automation Conference, San Diego, California, U.S.A., June 5 - 10, 2011.
ISCAS '11, Session B1L-F: Physical Design & Clock Synthesis
IEEE International Symposium on Circuits and Systems, Rio de Janeiro, Brazil, May 15 - 18, 2011.
ASP-DAC '11, Session 6A: Design Validation Techniques
16^th Asia and South Pacific Design Automation Conference (ASP-DAC'11), Yokohama, Japan, January 25 - 28, 2011.
ICFEM '10, Session: Program Analysis
12^th International Conference on Formal Engineering Methods (ICFEM '10), Shanghai, China, November 16 - 19, 2010.
AI '09, Session: Knowledge Representation and Reasoning I
22^nd Australasian Joint Conference on Artificial Intelligence (AI'09), Melbourne, Australia, December 1 - 4, 2009.
ESCS '09, Session 1
Workshop on Embedded Systems and Communications Security, Niagara Falls, New York, U.S.A., September 27, 2009.
A workshop affiliated with the 28^th International Symposium on Reliable Distributed Systems (SRDS '09), Niagara Falls, New York, U.S.A., September 27 - 30, 2009.
SARA '09, Session: Interval Abstraction and Abstracting Intervals
Eighth Symposium on Abstraction, Reformulation and Approximation (SARA'09), Lake Arrowhead, California, U.S.A., July 6 - 9, 2009.
ISQED '09, Session 1B: Robust Circuits
10^th IEEE International Symposium on Quality Electronic Design (ISQED'09), San Jose, California, U.S.A., March 16 - 18, 2009.
ISQED '09, Session 5A: Clock and Noise
10^th IEEE International Symposium on Quality Electronic Design (ISQED'09), San Jose, California, U.S.A., March 16 - 18, 2009.
HLDVT '08, Session 4: Formal Verification
13^th IEEE International High Level Design Validation and Test Workshop (HLDVT '08), Lake Tahoe, Nevada, U.S.A., November 19 - 21, 2008.
CFV '08 and VERIFY '08, Joint Invited Talk Session: Putting Flight Software Through the Paces with Testing, Model Checking, and Constraint-Solving by Dr. Alex D. Groce (NASA-JPL), Fifth International Workshop on Constraints in Formal Verification (CFV'08) and Fifth International Verification Workshop (VERIFY'08), Sydney, Australia, August 2008.
Workshops affiliated with the 4^th International Joint Conference on Automated Reasoning (IJCAR 2008), Sydney, Australia, August 10 - 15, 2008.
FMCAD '07, Session 1: SAT-Based Methods
Formal Methods in Computer Aided Design (FMCAD '07), Austin, Texas, U.S.A., November 11 - 14, 2007.
HLDVT '07, Session 5: Test Generation
12^th IEEE International High Level Design Validation and Test Workshop (HLDVT '07), Irvine, California, U.S.A., November 7 - 9, 2007.
CFV '07, Session: Advances in Decision Procedures
Fourth International Workshop on Constraints in Formal Verification (CFV '07), Bremen, Germany, July 16, 2007.
A workshop affiliated with the 21^st International Conference on Automated Deduction (CADE-21), Bremen, Germany, July 17 - 20, 2007.
SAT '06, Session: Applications
Ninth International Conference on Theory and Applications of Satisfiability Testing, Seattle, Washington, U.S.A., August 12 - 15, 2006.
AAAI '06 & IAAI '06, AAAI Session: Satisfiability I
Twenty-First National Conference on Artificial Intelligence (AAAI '06) and Eighteenth Innovative Applications of Artificial Intelligence Conference (IAAI '06), Boston, Massachusetts, U.S.A., July 16 - 20, 2006.
AAAI '06 & IAAI '06, AAAI Session: Bayesian Networks
Twenty-First National Conference on Artificial Intelligence (AAAI '06) and Eighteenth Innovative Applications of Artificial Intelligence Conference (IAAI '06), Boston, Massachusetts, U.S.A., July 16 - 20, 2006.
ISQED '06, Session: Digital Test and Diagnosis Techniques
7^th IEEE International Symposium on Quality Electronic Design (ISQED'06), San Jose, California, March 27 - 29, 2006.
AAAI '05 & IAAI '05, AAAI Session: Automated Reasoning
Twentieth National Conference on Artificial Intelligence (AAAI '05) and Seventeenth Innovative Applications of Artificial Intelligence Conference (IAAI '05), Pittsburgh, Pennsylvania, U.S.A., July 9 - 13, 2005.
AAAI '05 & IAAI '05, AAAI Session: Constraint Satisfaction 3
Twentieth National Conference on Artificial Intelligence (AAAI '05) and Seventeenth Innovative Applications of Artificial Intelligence Conference (IAAI '05), Pittsburgh, Pennsylvania, U.S.A., July 9 - 13, 2005.
HLDVT '04, Session 7: SAT Solving Approaches
9^th IEEE International High Level Design Validation and Test Workshop (HLDVT '04), Sonoma Valley, California, U.S.A., November 10 - 12, 2004.
ICCD '04, Session 7.1: Formal Verification Techniques
22^nd International Conference on Computer Design (ICCD '04), San Jose, California, U.S.A., October 11 - 13, 2004.
AAAI '04 & IAAI '04, AAAI Session: SAT
Nineteenth National Conference on Artificial Intelligence (AAAI '04) and Sixteenth Innovative Applications of Artificial Intelligence Conference (IAAI '04), San Jose, California, U.S.A., July 25 - 29, 2004.
AAAI '04 & IAAI '04, AAAI Session: MAX-SAT
Nineteenth National Conference on Artificial Intelligence (AAAI '04) and Sixteenth Innovative Applications of Artificial Intelligence Conference (IAAI '04), San Jose, California, U.S.A., July 25 - 29, 2004.
AAAI '04 & IAAI '04, AAAI Session: Syntax & Semantics
Nineteenth National Conference on Artificial Intelligence (AAAI '04) and Sixteenth Innovative Applications of Artificial Intelligence Conference (IAAI '04), San Jose, California, U.S.A., July 25 - 29, 2004.
AAAI '04 & IAAI '04, AAAI Session: Temporal Reasoning
Nineteenth National Conference on Artificial Intelligence (AAAI '04) and Sixteenth Innovative Applications of Artificial Intelligence Conference (IAAI '04), San Jose, California, U.S.A., July 25 - 29, 2004.
ICCD '02, Session 8.1: System Design Issues
International Conference on Computer Design (ICCD '02), Freiburg, Germany, September 16 - 18, 2002.
MTV '02, Session F: Semi-Formal Verification
Microprocessor Test and Verification (MTV '02), Austin, Texas, U.S.A., June 6 - 7, 2002.
VLSI-SOC '01, Session 11.a: Verification & Validation (2)
11^th IFIP International Conference on Very Large Scale Integration, The Global System on Chip Design & CAD Conference (VLSI-SOC '01), Montpellier, France, December 2001.

Advising Graduate Students and Service on Ph.D. Committees

Member of the Ph.D. Proposal and Thesis Committees for Swaha Miller, advised by David Plaisted, Department of Computer Science, University of North Carolina at Chapel Hill, April 2003 - September 2005.
Member of the Ph.D. Proposal Committee for Leandro Barajas, advised by Magnus Egerstedt, School of Electrical and Computer Engineering, Georgia Institute of Technology, September 2002.
Member of the Ph.D. Proposal Committee for Shankar Chandrasekaran, advised by Bruno Frazier, School of Electrical and Computer Engineering, Georgia Institute of Technology, July 2002.
Member of the Faculty-Student Committee, School of Electrical and Computer Engineering, Georgia Institute of Technology, 2002.
Advisor of Paruj Ratanaworabhan, Ph.D. student, School of Electrical and Computer Engineering, Georgia Institute of Technology, August 2002 - May 2003.
Advisor of Sudarshan K. Srinivasan, M.S. student, School of Electrical and Computer Engineering, Georgia Institute of Technology, May 2002 - May 2003.

Reviewer of Research Grant Applications

NASA, Experimental Program to Stimulate Competitive Research (EPSCoR): 2015.
Army Research Office (ARO), Broad Agency Announcement: 2008.
University of California, MICRO Program: 2001, 2002, 2003, 2005.

Reviewer of Books

Kluwer Academic Publishers, 2001:
R.B. Jones, Symbolic Simulation Methods for Industrial Formal Verification.
Prentice Hall Publishing, 2001:
M.D. Ciletti, Advanced Digital Design with the Verilog HDL.
McGraw-Hill Publishing, 2001:
J.P. Shen and M.H. Lipasti, Fundamentals of Superscalar Processor Design.

Reviewer of Journal Papers

Journal of the ACM (JACM): 2000, 2001
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD): 2000, 2001, 2002, 2005, 2011, 2012
IEEE Transactions on Circuits and Systems II: 2001
IEEE Transactions on Computers: 2001, 2004, 2005, 2008, 2012, 2014
IEEE Transactions on Very Large Scale Integration Systems: 2012, 2014
ACM Transactions on Design Automation of Electronic Systems (TODAES): 2001, 2002, 2006
Annals of Mathematics and Artificial Intelligence (AMAI): 2002, 2008
Embedded Hardware Design (Microprocessors and Microsystems): 2008
Journal of Systems Architecture (JSA): 2001, 2002, 2003, 2004, 2006, 2007, 2008, 2009
Journal of Software Tools for Technology Transfer (STTT): 2001
Journal of Design Automation for Embedded Systems: 2001
IEEE Micro: 2001
Journal of Electronic Testing, Theory and Applications (JETTA): 2003, 2009, 2013, 2014
ACM Transactions in Embedded Computing Systems (TECS): 2003
Information and Computation: 2014
International Journal of Embedded Systems (IJES): 2003
Artificial Intelligence: 2004
Journal of Automated Reasoning (JAR): 2004, 2005, 2006
International Journal of Computers and Applications: 2006, 2009, 2011
Journal of Supercomputing: 2006, 2011, 2012, 2013, 2014
Journal of Systems and Software: 2008
Data & Knowledge Engineering Journal (DKE): 2008, 2009
Journal of Computer Science and Technology (JCST): 2008
Journal of Symmetry: 2010
International Journal of Applied Mathematics & Information Sciences (AMIS): 2013
International Journal of Vehicle Design (IJVD): 2015

Reviewer of Conference Papers

Military Communications Conference (MILCOM): 2010
Design Automation Conference (DAC): 1999 - 2013
International Conference on Parallel Architectures and Compilation Techniques (PACT): 2001, 2002
International Test Conference (ITC): 2001, 2002, 2004, 2005, 2015
International Conference on Computer-Aided Design (ICCAD): 2001 - 2005
IFIP International Conference on Very Large Scale Integration, The Global System on Chip Design & CAD Conference (VLSI-SOC): 2001
International Workshop on Abstract State Machines (ASM), LNCS volume: 2001
International Symposium on Microarchitecture (MICRO): 2001
International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR): 2001
International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES): 2001
International Conference on VLSI Design (VLSI Design): 2002
Asia and South Pacific Design Automation Conference (ASP-DAC): 2002
Asia-Pacific Computer Systems Architecture Conference (ACSAC): 2002
International Symposium on High Performance Computer Architecture (HPCA): 2002
International Symposium on Artificial Intelligence and Mathematics (AIM): 2002
International Symposium on Field-Programmable Gate Arrays (FPGA): 2002
International Parallel and Distributed Processing Symposium (IPDPS): 2002
International Conference on Compiler Construction (CC): 2002
ACM International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS): 2002
Computer-Aided Verification (CAV): 2002, 2003, 2004, 2008, 2013
Formal Methods in Computer-Aided Design (FMCAD): 2002
Conference on Automated Deduction (CADE): 2002
International Conference on Supercomputing (ICS): 2002
ACM SIGDA Ph.D. Forum at the Design Automation Conference: 2002
Frontiers in Education Conference (FIE): 2002
Design, Automation, and Test in Europe (DATE): 2003
Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS): 2003
Great Lakes Symposium on VLSI (GLSVLSI): 2004
International Joint Conference on Automated Reasoning (IJCAR): 2004
International Conference on Computer Design (ICCD): 2004
ACM Symposium on Applied Computing (SAC): 2005
VLSI Test Symposium (VTS): 2005
International Symposium on Signals, Circuits and Systems (ISSCS): 2005
Tools and Algorithms for the Construction and Analysis of Systems (TACAS): 2008
IEEE Canadian Conference on Electrical and Computer Engineering (CCECE): 2010

Professional Memberships

Fellow, 2017, American Association for the Advancement of Science (AAAS)
Associate Fellow, 2018, American Institute of Aeronautics and Astronautics (AIAA)
Distinguished Member (Distinguished Scientist), 2014, Association for Computing Machinery (ACM)
- Special Interest Group on Design Automation (ACM SIGDA)
Senior Member, 2014, Association for the Advancement of Artificial Intelligence (AAAI)
Senior Member, 2008, Institute of Electrical and Electronics Engineers (IEEE)
- Computer Society
- Circuits and Systems Society
American Mathematical Society (AMS)
American Society for Engineering Education (ASEE)
Society for Industrial and Applied Mathematics (SIAM)
- SIAG on Computational Science and Engineering
- SIAG on Discrete Mathematics
European Association for Theoretical Computer Science (EATCS)
European Design and Automation Association (EDAA)
ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS)
European Association for Programming Languages and Systems (EAPLS)
European Association on Software Science and Technology (EASST)
IEEE Circuits and Systems Working Group on Advanced EDA Benchmark Datasets
IFIP WG 10.5 Special Interest Group on Embedded Systems (IFIP SIG-ES)
SIG-CHARME: Special Interest Group on Formal Design and Verification Methods for Correct Hardware-like Systems, part of IFIP Working Group 10.5
Association for Automated Reasoning (AAR)

Listed in the Marquis editions of:

Last updated on April 29, 2022.

Keynote Speaker

Invited Speaker

Editorial Board Service

Guest Editor

Panel Participant or Organizer

General Chair