Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Andrei Voronkov’s |
Description | Home Page Teaching Logic and Modeling LASER school Research Conferences Students EasyChair Vampire LPAR Contact Andrei Voronkov’s Homepage I am Professor |
Keywords | N/A |
WebSite | voronkov.com |
Host IP | 213.136.76.235 |
Location | Germany |
Site | Rank |
US$1,290,637
Last updated: 2023-05-03 08:21:23
voronkov.com has Semrush global rank of 8,200,842. voronkov.com has an estimated worth of US$ 1,290,637, based on its estimated Ads revenue. voronkov.com receives approximately 148,920 unique visitors each day. Its web server is located in Germany, with IP address 213.136.76.235. According to SiteAdvisor, voronkov.com is safe to visit. |
Purchase/Sale Value | US$1,290,637 |
Daily Ads Revenue | US$1,192 |
Monthly Ads Revenue | US$35,741 |
Yearly Ads Revenue | US$428,889 |
Daily Unique Visitors | 9,928 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
voronkov.com. | A | 3599 | IP: 213.136.76.235 |
voronkov.com. | NS | 3600 | NS Record: ns12.domaincontrol.com. |
voronkov.com. | NS | 3600 | NS Record: ns11.domaincontrol.com. |
voronkov.com. | MX | 3600 | MX Record: 10 ALT3.ASPMX.L.GOOGLE.com. |
voronkov.com. | MX | 3600 | MX Record: 10 ALT4.ASPMX.L.GOOGLE.com. |
voronkov.com. | MX | 3600 | MX Record: 1 ASPMX.L.GOOGLE.com. |
voronkov.com. | MX | 3600 | MX Record: 5 ALT1.ASPMX.L.GOOGLE.com. |
voronkov.com. | MX | 3600 | MX Record: 5 ALT2.ASPMX.L.GOOGLE.com. |
voronkov.com. | TXT | 3600 | TXT Record: v=spf1 include:dc-aa8e722993._spfm.voronkov.com ~all |
voronkov.com. | TXT | 3600 | TXT Record: google-site-verification=aApXepo5CbV4mD7ZiEEyGCqv35-foXanWVo6GxBTzQM |
Home Page Teaching Logic and Modeling LASER school Research Conferences Students EasyChair Vampire LPAR Contact Andrei Voronkov’s Homepage I am Professor of Formal Methods at the University of Manchester and Visiting Professor at Vienna University of Technology . And, of course, I work for EasyChair . I am also known as the designer and founder of EasyChair , the main designer of the theorem prover Vampire , and the founder of the LPAR conference series. In addition, I published over 100 papers in various areas of computer science and logic. News (July 2021) V ampire won the World Cup in Automated Theorem Proving CASC held at the 28th International Conference on Automated Deduction (CADE-28). This time Vampire has been the winner of three out of six divisions , including the main division of the competition FOF (first-order formulas). All together Vampire has won 56 division titles in CASC since 1999: more than any other theorem prover in the history of the competition. Vampire has |
HTTP/1.1 200 OK Date: Mon, 25 Oct 2021 15:28:29 GMT Server: Apache/2.4.7 (Ubuntu) Expires: 0s Vary: Accept-Encoding Content-Type: text/html; charset=UTF-8 |
Domain Name: VORONKOV.COM Registry Domain ID: 93699517_DOMAIN_COM-VRSN Registrar WHOIS Server: whois.godaddy.com Registrar URL: http://www.godaddy.com Updated Date: 2019-01-15T16:30:13Z Creation Date: 2003-01-06T15:19:00Z Registry Expiry Date: 2029-01-06T15:19:00Z Registrar: GoDaddy.com, LLC Registrar IANA ID: 146 Registrar Abuse Contact Email: abuse@godaddy.com Registrar Abuse Contact Phone: 480-624-2505 Domain Status: clientDeleteProhibited https://icann.org/epp#clientDeleteProhibited Domain Status: clientRenewProhibited https://icann.org/epp#clientRenewProhibited Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Domain Status: clientUpdateProhibited https://icann.org/epp#clientUpdateProhibited Name Server: NS11.DOMAINCONTROL.COM Name Server: NS12.DOMAINCONTROL.COM DNSSEC: unsigned >>> Last update of whois database: 2021-09-13T18:27:26Z <<< |