Products
IP Reports
Search
Patexia Concierge
Patent Analyzer
Trademark Analyzer
Litigation Analyzer
All Products
Services
Lateral Opportunities
Expert Witness
Research Studies
Strategic Partnership
All Services
IP Community
IP Community
IP Webinars
In the News
Company
About Us
Press Release
Careers
Contact Us
Search
Login
Join
Patexia
Interest Groups
Message:*
Formal Methods
Summary
Newsfeed
Contests
Followers
22
Followers
George Catalin
Kushagra Thapar
Rina Oktaviani
Francesco Mureddu
Rakesh Kumar
Ciprian Teodorov
George Erwin-Grotsky
Vinh Ha
Morgan Tyrone
Jay Anand Singh
See All Followers »
Formal Methods > Contests
Filter:
All
Private
Public
Find a Contest
Contest
Days left
Prize
Instruction Level Parallel Processing
Patent Mining
SYSTEMS CONTROL
,
THEORY OF COMPUTING
,
PROGRAMMING LANGUAGES
,
OPERATING SYSTEMS
,
FORMAL METHODS
,
COMPUTER ARCHITECTURE
,
COMPUTER SOFTWARE
,
SEMICONDUCTORS
Closed
$5,000
Menu
Log In
Products
IP Reports
Search
Patexia Concierge
Patent Analyzer
Trademark Analyzer
Litigation Analyzer
All Products
Services
Lateral Opportunities
Expert Witness
Research Studies
Strategic Partnership
All Services
IP Community
IP Community
IP Webinars
In the News
Company
About Us
Press Release
Careers
Contact Us
