Skip to content

Commit

Permalink
Remove News section
Browse files Browse the repository at this point in the history
  • Loading branch information
Xiaohong Chen authored Apr 18, 2023
1 parent 5bbc27a commit 7534d13
Showing 1 changed file with 2 additions and 11 deletions.
13 changes: 2 additions & 11 deletions index.md
Original file line number Diff line number Diff line change
Expand Up @@ -16,21 +16,12 @@ In the FSL, we design and develop:

all aiming at increasing the quality of computing systems.

# Current Research Areas

Our current research areas are:
- [Programming Language Design and Semantics]({{site.baseurl}}/projects/pl/index.html)
- [Runtime Verification]({{site.baseurl}}/projects/rv/index.html)
- [Behavioral Specification]({{site.baseurl}}/projects/circ/index.html)

You want to work on these topics? See [Grigore Rosu]({{site.baseurl}}/people/grigore-rosu/index.html)'s list of [Open Problems and Challenges]({{site.baseurl}}/other-pages/open-problems.html).

# News

{% assign news = site.data.news | slice: 0,5 %}
{% for item in news %} * **{{item.date}}:** {{item.markdown}}
{% endfor %} <!-- -->
* [All news]({{site.baseurl}}/news.html)

You want to work on these topics? See [Grigore Rosu]({{site.baseurl}}/people/grigore-rosu/index.html)'s list of [Open Problems and Challenges](https://hdl.handle.net/2142/95775).

[Department of Computer Science]: https://cs.illinois.edu
[University of Illinois at Urbana-Champaign]: https://illinois.edu
Expand Down

0 comments on commit 7534d13

Please sign in to comment.